Concepedia

Gianluigi Zavattaro

GZ

30

Publications

774

Citations

16

H-Index

1997

Active since

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

Université Paris Cité

Gianluigi Zavattaro is an author at University of Bologna specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData ManagementCloud ComputingCluster ComputingData IntegrationAutomated ReasoningSystems Engineering

Publications per year

1997–2022

30

Publications

30

On the Expressiveness of Linda Coordination Primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro · Information and Computation · 2000 · 88 citations

Programming Language Theory, Engineering, Automated Reasoning +5

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro · Theoretical Computer Science · 1998 · 77 citations

Concurrency Theory, Process Control, Formal Methods +3

Aeolus: A component model for the cloud

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli et al. · Information and Computation · 2014 · 64 citations

Cluster Computing, Engineering, Cloud Computing Architecture +8

Undecidability of asynchronous session subtyping

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro · Information and Computation · 2017 · 46 citations · Full text

Engineering, Interaction Protocol, Verification +6

A transition system semantics for the control-driven coordination language MANIFOLD

Marcello Bonsangue, Farhad Arbab, J. W. de Bakker et al. · Theoretical Computer Science · 2000 · 41 citations · Full text

Syntax, Engineering, Operational Semantics +12

Rows per page

1–5 of 30