# Gianluigi Zavattaro

According to our database1, Gianluigi Zavattaro authored at least 154 papers between 1997 and 2020.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2020
Process calculi as a tool for studying coordination, contracts and session types.
J. Log. Algebraic Methods Program., 2020

A Formal Approach to Microservice Architecture Deployment.
Proceedings of the Microservices, Science and Engineering., 2020

2019
On the modeling of optimal and automatized cloud application deployment.
J. Log. Algebraic Methods Program., 2019

A Sound Algorithm for Asynchronous Session Subtyping (extended version).
CoRR, 2019

Relating Session Types and Behavioural Contracts: The Asynchronous Case.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Optimal and Automated Deployment for Microservices.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

A Sound Algorithm for Asynchronous Session Subtyping.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

Playing with Bisimulation in Erlang.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
On the boundary between decidability and undecidability of asynchronous session subtyping.
Theor. Comput. Sci., 2018

A Petri Net Based Modeling of Active Objects and Futures.
Fundam. Inform., 2018

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.
Proceedings of the Coordination Models and Languages, 2018

2017
Undecidability of asynchronous session subtyping.
Inf. Comput., 2017

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.
CoRR, 2017

2016
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Declarative Elasticity in ABS.
Proceedings of the Service-Oriented and Cloud Computing, 2016

On the Expressiveness of Synchronization in Component Deployment.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Automatic deployment of component-based applications.
Sci. Comput. Program., 2015

On the Complexity of Reconfiguration in Systems with Legacy Components.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Automatic Deployment of Services in the Cloud with Aeolus Blender.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

On the Integration of Automatic Deployment into the ABS Modeling Language.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).
Proceedings of the 26th International Conference on Concurrency Theory, 2015

When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.
Proceedings of the Software, 2015

2014
Aeolus: A component model for the cloud.
Inf. Comput., 2014

Choreographies and Behavioural Contracts on the Way to Dynamic Updates.
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Decidability Problems for Actor Systems.
Log. Methods Comput. Sci., 2014

Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Service-Oriented Programming with Jolie.
Proceedings of the Web Services Foundations, 2014

2013
Behavioural contracts with request-response operations.
Sci. Comput. Program., 2013

Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract).
Electron. Notes Theor. Comput. Sci., 2013

Amending Choreographies.
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

A Planning Tool Supporting the Deployment of Cloud Applications.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Component Reconfiguration in the Presence of Conflicts.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Automatic Component Deployment in the Presence of Circular Dependencies.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

Decidability Results for Dynamic Installation of Compensation Handlers.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Complex Functional Rates in Rule-Based Languages for Biochemistry.
Trans. Comp. Sys. Biology, 2012

Reachability problems in BioAmbients.
Theor. Comput. Sci., 2012

Log. Methods Comput. Sci., 2012

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
CoRR, 2012

Towards a Formal Component Model for the Cloud.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Towards the Verification of Adaptable Processes.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Verification of Ad Hoc Networks with Node and Communication Failures.
Proceedings of the Formal Techniques for Distributed Systems, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Graceful Interruption of Request-Response Service Interactions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Proceedings of the Formal Techniques for Distributed Systems, 2011

Fault in the Future.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Advanced Mechanisms for Service Combination and Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Core Calculi for Service-Oriented Computing.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Guest editors' foreword.
Sci. Comput. Program., 2010

Turing universality of the Biochemical Ground Form.
Math. Struct. Comput. Sci., 2010

On the Relationship between Spatial Logics and Behavioral Simulations.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Steps on the Road to Component Evolvability.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Parameterized Verification of Ad Hoc Networks.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
Math. Struct. Comput. Sci., 2009

Deciding reachability problems in Turing-complete fragments of Mobile Ambients.
Math. Struct. Comput. Sci., 2009

On the expressive power of recursion, replication and iteration in process calculi.
Math. Struct. Comput. Sci., 2009

A theory of contracts for strong service compliance.
Math. Struct. Comput. Sci., 2009

On the expressive power of process interruption and compensation.
Math. Struct. Comput. Sci., 2009

Dynamic Error Handling in Service Oriented Applications.
Fundam. Inform., 2009

Reachability Analysis in BioAmbients.
Electron. Notes Theor. Comput. Sci., 2009

From Biochemistry to Stochastic Processes.
Electron. Notes Theor. Comput. Sci., 2009

Contract-Based Discovery and Composition of Web Services.
Proceedings of the Formal Methods for Web Services, 2009

Programming Sagas in SOCK.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

On the Expressiveness of Forwarding in Higher-Order Communication.
Proceedings of the Theoretical Aspects of Computing, 2009

The <i>kappa</i>-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci., 2008

A process algebraic view of shared dataspace coordination.
J. Log. Algebraic Methods Program., 2008

A Foundational Theory of Contracts for Multi-party Service Composition.
Fundam. Inform., 2008

Contract Compliance and Choreography Conformance in the Presence of Message Queues.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Contract-Driven Implementation of Choreographies.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Bridging the Gap between Interaction- and Process-Oriented Choreographies.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Dynamic Fault Handling Mechanisms for Service-Oriented Applications.
Proceedings of the ECOWS 2008, 2008

Termination Problems in Chemical Kinetics.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

On the interplay between fault handling and request-response service invocations.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

On the Computational Power of Biochemistry.
Proceedings of the Algebraic Biology, Third International Conference, 2008

2007
Service oriented computing from a process algebraic perspective.
J. Log. Algebraic Methods Program., 2007

Guest editor's introduction: Special issue on Web Services and Formal Methods.
J. Log. Algebraic Methods Program., 2007

JOLIE: a Java Orchestration Language Interpreter Engine.
Electron. Notes Theor. Comput. Sci., 2007

Towards a Unifying Theory for Choreography Conformance and Contract Compliance.
Proceedings of the Software Composition - 6th International Symposium, 2007

Contract Based Multi-party Service Composition.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Composing Services with JOLIE.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

A Theory for Strong Service Compliance.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems.
Sci. Comput. Program., 2006

Secure shared data-space coordination languages: A process algebraic survey.
Sci. Comput. Program., 2006

Supporting Secure Coordination in SecSpaces.
Fundam. Inform., 2006

A Process Algebraic View of Coordination.
Electron. Notes Theor. Comput. Sci., 2006

Service Oriented Computing: A New Challenge for Process Algebras.
Electron. Notes Theor. Comput. Sci., 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SensoriaProcess Calculi for Service-Oriented Computing.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

: A Calculus for Service Oriented Computing.
Proceedings of the Service-Oriented Computing, 2006

Choreography and Orchestration Conformance for System Design.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci., 2005

Preface.
Electron. Notes Theor. Comput. Sci., 2005

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
Electron. Notes Theor. Comput. Sci., 2005

Towards a formal framework for Choreography.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

web-pi at Work.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Supporting e-commerce systems formalization with choreography languages.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Reachability Analysis in Boxed Ambients.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Choreography and Orchestration: A Synergic Approach for System Design.
Proceedings of the Service-Oriented Computing, 2005

Foundations of Web Transactions.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Deciding Reachability in Mobile Ambients.
Proceedings of the Programming Languages and Systems, 2005

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
On the expressive power of movement and restriction in pure mobile ambients.
Theor. Comput. Sci., 2004

Data-Driven Coordination In Peer-To-Peer Information Systems.
Int. J. Cooperative Inf. Syst., 2004

Preface.
Electron. Notes Theor. Comput. Sci., 2004

Combining Partitions in SecSpaces.
Electron. Notes Theor. Comput. Sci., 2004

WSSecSpaces: a secure data-driven coordination service for Web Services applications.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Web Services for E-commerce: guaranteeing security access and quality of service.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Security Issues in the Tuple-Space Coordination Model.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Comparing Recursion, Replication, and Iteration in Process Calculi.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Expired data collection in shared dataspaces.
Theor. Comput. Sci., 2003

Comparing coordination models and architectures using embeddings.
Sci. Comput. Program., 2003

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Electron. Notes Theor. Comput. Sci., 2003

PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Replication vs. Recursive Definitions in Channel Based Calculi.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Calculus for Long-Running Transactions.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
On the Expressiveness of Movement in Pure Mobile Ambients.
Electron. Notes Theor. Comput. Sci., 2002

On the serializability of transactions in shared dataspaces with temporary data.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

State- and Event-Based Reactive Programming in Shared Dataspaces.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
On the Serializability of Transactions in JavaSpaces.
Electron. Notes Theor. Comput. Sci., 2001

Comparative analysis of the expressiveness of shared dataspace coordination.
Electron. Notes Theor. Comput. Sci., 2001

Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Temporary Data in Shared Dataspace Coordination Languages.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Coordination Models: A Guided Tour.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci., 2000

A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci., 2000

On the Expressiveness of Linda Coordination Primitives.
Inf. Comput., 2000

Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
Proceedings of the Applied Computing 2000, 2000

On the Semantics of JavaSpaces.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
Proceedings of the Programming Languages and Systems, 2000

Process Calculi for Coordination: From Linda to JavaSpaces.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
An Algebra of Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.
Proceedings of the ECOOP'99, 1999

Comparing Software Architectures for Coordination Languages.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

Generic Process Algebras for Asynchronous Communication.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci., 1998

Towards a Hierarchy of Negative Test Operators for Generative Communication.
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1997
On the Turing equivalence of Linda coordination primitives.
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Three Semantics of the Output Operation for Generative Communication.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997