Three Semantics of the Output Operation for Generative Communication. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (COORDINATION, 1997)

On the Turing equivalence of Linda coordination primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (EXPRESS, 1997)

Towards a Hierarchy of Negative Test Operators for Generative Communication. - Gianluigi Zavattaro (EXPRESS, 1998)

A Process Algebraic View of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 1998)

Generic Process Algebras for Asynchronous Communication. - Frank S. de Boer; Gianluigi Zavattaro (CONCUR, 1999)

Comparing Software Architectures for Coordination Languages. - Marcello M. Bonsangue; Joost N. Kok; Gianluigi Zavattaro (COORDINATION, 1999)

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. - Mauro Gaspari; Gianluigi Zavattaro (ECOOP, 1999)

An Algebra of Actors. - Mauro Gaspari; Gianluigi Zavattaro (FMOODS, 1999)

Process Calculi for Coordination: From Linda to JavaSpaces. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (AMAST, 2000)

On the Expressiveness of Event Notification in Data-Driven Coordination Languages. - Nadia Busi; Gianluigi Zavattaro (ESOP, 2000)

On the Semantics of JavaSpaces. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FMOODS, 2000)

Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. - Nadia Busi; Gianluigi Zavattaro (SAC (1), 2000)

On the Expressiveness of Linda Coordination Primitives. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Inf. Comput., 2000)

A transition system semantics for the control-driven coordination language MANIFOLD. - Marcello M. Bonsangue; Farhad Arbab; J. W. de Bakker; Jan J. M. M. Rutten; A. Secutella; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

Comparing three semantics for Linda-like languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (Theor. Comput. Sci., 2000)

Coordination Models: A Guided Tour. - Nadia Busi; Paolo Ciancarini; Roberto Gorrieri; Gianluigi Zavattaro (Coordination of Internet Agents: Models, Technologies, and Applications, 2001)

An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. - Mauro Gaspari; Gianluigi Zavattaro (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Temporary Data in Shared Dataspace Coordination Languages. - Nadia Busi; Roberto Gorrieri; Gianluigi Zavattaro (FoSSaCS, 2001)

Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. - Nadia Busi; Gianluigi Zavattaro (WETICE, 2001)

Comparative analysis of the expressiveness of shared dataspace coordination. - Antonio Brogi; Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (TOSCA, 2001)

On the Serializability of Transactions in JavaSpaces. - Nadia Busi; Gianluigi Zavattaro (ConCoord, 2001)

State- and Event-Based Reactive Programming in Shared Dataspaces. - Nadia Busi; Antony I. T. Rowstron; Gianluigi Zavattaro (COORDINATION, 2002)

Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. - Nadia Busi; Cristian Manfredini; Alberto Montresor; Gianluigi Zavattaro (NETWORKING Workshops, 2002)

On the serializability of transactions in shared dataspaces with temporary data. - Nadia Busi; Gianluigi Zavattaro (SAC, 2002)

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. - Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (FOCLASA, 2002)

On the Expressiveness of Movement in Pure Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (F-WAN@ICALP, 2002)

A Calculus for Long-Running Transactions. - Laura Bocchi; Cosimo Laneve; Gianluigi Zavattaro (FMOODS, 2003)

Replication vs. Recursive Definitions in Channel Based Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2003)

PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. - Nadia Busi; Cristian Manfredini; Alberto Montresor; Gianluigi Zavattaro (SAC, 2003)

Combining Partitions in SecSpaces. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (MEFISTO, 2003)

Preface. - Riccardo Focardi; Gianluigi Zavattaro (SecCo, 2003)

Comparing coordination models and architectures using embeddings. - Marcello M. Bonsangue; Joost N. Kok; Gianluigi Zavattaro (Sci. Comput. Program., 2003)

Expired data collection in shared dataspaces. - Nadia Busi; Gianluigi Zavattaro (Theor. Comput. Sci., 2003)

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2004)

From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. - Sirio Capizzi; Riccardo Solmi; Gianluigi Zavattaro (COORDINATION, 2004)

Comparing Recursion, Replication, and Iteration in Process Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2004)

Security Issues in the Tuple-Space Coordination Model. - Mario Bravetti; Nadia Busi; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Formal Aspects in Security and Trust, 2004)

Web Services for E-commerce: guaranteeing security access and quality of service. - Mario Bravetti; Roberto Lucchi; Gianluigi Zavattaro; Roberto Gorrieri (SAC, 2004)

WSSecSpaces: a secure data-driven coordination service for Web Services applications. - Roberto Lucchi; Gianluigi Zavattaro (SAC, 2004)

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (SecCo, 2004)

Preface. - Mario Bravetti; Gianluigi Zavattaro (WSFM, 2004)

Data-Driven Coordination In Peer-To-Peer Information Systems. - Nadia Busi; Alberto Montresor; Gianluigi Zavattaro (Int. J. Cooperative Inf. Syst., 2004)

On the expressive power of movement and restriction in pure mobile ambients. - Nadia Busi; Gianluigi Zavattaro (Theor. Comput. Sci., 2004)

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. - Nadia Busi; Gianluigi Zavattaro (COORDINATION, 2005)

Deciding Reachability in Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (ESOP, 2005)

Foundations of Web Transactions. - Cosimo Laneve; Gianluigi Zavattaro (FoSSaCS, 2005)

Choreography and Orchestration: A Synergic Approach for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (ICSOC, 2005)

Reachability Analysis in Boxed Ambients. - Nadia Busi; Gianluigi Zavattaro (ICTCS, 2005)

Supporting e-commerce systems formalization with choreography languages. - Mario Bravetti; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (SAC, 2005)

web-pi at Work. - Cosimo Laneve; Gianluigi Zavattaro (TGC, 2005)

Towards a formal framework for Choreography. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (WETICE, 2005)

Service Oriented Computing: A New Challenge for Process Algebras. - Mario Bravetti; Gianluigi Zavattaro (APC 25, 2005)

A Process Algebraic View of Coordination. - Nadia Busi; Gianluigi Zavattaro (APC 25, 2005)

Quantitative information in the tuple space coordination model. - Mario Bravetti; Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Theor. Comput. Sci., 2005)

Choreography and Orchestration Conformance for System Design. - Nadia Busi; Roberto Gorrieri; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (COORDINATION, 2006)

: A Calculus for Service Oriented Computing. - Claudio Guidi; Roberto Lucchi; Roberto Gorrieri; Nadia Busi; Gianluigi Zavattaro (ICSOC, 2006)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

JOLIE: a Java Orchestration Language Interpreter Engine. - Fabrizio Montesi; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (CoOrg/MTCoord@COORDINATION, 2006)

Supporting Secure Coordination in SecSpaces. - Roberto Gorrieri; Roberto Lucchi; Gianluigi Zavattaro (Fundam. Informaticae, 2006)

Secure shared data-space coordination languages: A process algebraic survey. - Riccardo Focardi; Roberto Lucchi; Gianluigi Zavattaro (Sci. Comput. Program., 2006)

Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. - Riccardo Focardi; Gianluigi Zavattaro (Sci. Comput. Program., 2006)

Modelization and Simulation of Nano Devices in $ mathtt{nano} kappa$ Calculus. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (CMSB, 2007)

A Theory for Strong Service Compliance. - Mario Bravetti; Gianluigi Zavattaro (COORDINATION, 2007)

Composing Services with JOLIE. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (ECOWS, 2007)

Contract Based Multi-party Service Composition. - Mario Bravetti; Gianluigi Zavattaro (FSEN, 2007)

Towards a Unifying Theory for Choreography Conformance and Contract Compliance. - Mario Bravetti; Gianluigi Zavattaro (SC@ETAPS, 2007)

Guest editor's introduction: Special issue on Web Services and Formal Methods. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2007)

Service oriented computing from a process algebraic perspective. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2007)

On the Computational Power of Biochemistry. - Luca Cardelli; Gianluigi Zavattaro (AB, 2008)

On the interplay between fault handling and request-response service invocations. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (ACSD, 2008)

Termination Problems in Chemical Kinetics. - Gianluigi Zavattaro; Luca Cardelli (CONCUR, 2008)

Dynamic Fault Handling Mechanisms for Service-Oriented Applications. - Fabrizio Montesi; Claudio Guidi; Ivan Lanese; Gianluigi Zavattaro (ECOWS, 2008)

Bridging the Gap between Interaction- and Process-Oriented Choreographies. - Ivan Lanese; Claudio Guidi; Fabrizio Montesi; Gianluigi Zavattaro (SEFM, 2008)

A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. - Gianluigi Zavattaro (SFM, 2008)

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. - Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro (TGC, 2008)

Contract-Driven Implementation of Choreographies. - Mario Bravetti; Ivan Lanese; Gianluigi Zavattaro (TGC, 2008)

Contract Compliance and Choreography Conformance in the Presence of Message Queues. - Mario Bravetti; Gianluigi Zavattaro (WS-FM, 2008)

Reachability Analysis in BioAmbients. - Gianluigi Zavattaro (MeCBIC, 2008)

A Foundational Theory of Contracts for Multi-party Service Composition. - Mario Bravetti; Gianluigi Zavattaro (Fundam. Informaticae, 2008)

A process algebraic view of shared dataspace coordination. - Nadia Busi; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2008)

nanoK: A calculus for the modeling and simulation of nano devices. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (Theor. Comput. Sci., 2008)

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. - Giorgio Delzanno; Cinzia Di Giusto; Maurizio Gabbrielli; Cosimo Laneve; Gianluigi Zavattaro (CMSB, 2009)

On the Expressiveness of Forwarding in Higher-Order Communication. - Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ICTAC, 2009)

Programming Sagas in SOCK. - Ivan Lanese; Gianluigi Zavattaro (SEFM, 2009)

Contract-Based Discovery and Composition of Web Services. - Mario Bravetti; Gianluigi Zavattaro (SFM, 2009)

From Biochemistry to Stochastic Processes. - Cosimo Laneve; Sylvain Pradalier; Gianluigi Zavattaro (QAPL, 2009)

Dynamic Error Handling in Service Oriented Applications. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Fundam. Informaticae, 2009)

On the expressive power of process interruption and compensation. - Mario Bravetti; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

A theory of contracts for strong service compliance. - Mario Bravetti; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

On the expressive power of recursion, replication and iteration in process calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Deciding reachability problems in Turing-complete fragments of Mobile Ambients. - Nadia Busi; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Nadia Busi's publications. - Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). - Maurice H. ter Beek; Stefania Gnesi; Alessandro Fantechi; Gianluigi Zavattaro (ACoTA, 2010)

Parameterized Verification of Ad Hoc Networks. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (CONCUR, 2010)

Steps on the Road to Component Evolvability. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FACS, 2010)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

On the Relationship between Spatial Logics and Behavioral Simulations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (FoSSaCS, 2010)

Turing universality of the Biochemical Ground Form. - Luca Cardelli; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2010)

Guest editors' foreword. - Doug Lea; Gianluigi Zavattaro (Sci. Comput. Program., 2010)

Core Calculi for Service-Oriented Computing. - Luís Caires; Rocco De Nicola; Rosario Pugliese; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

Advanced Mechanisms for Service Combination and Transactions. - Carla Ferreira 001; Ivan Lanese; António Ravara; Hugo Torres Vieira; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

Fault in the Future. - Einar Broch Johnsen; Ivan Lanese; Gianluigi Zavattaro (COORDINATION, 2011)

Adaptable Processes (Extended Abstract). - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (FMOODS/FORTE, 2011)

On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (FoSSaCS, 2011)

Graceful Interruption of Request-Response Service Interactions. - Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2011)

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (PACO, 2011)

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Immo Grabe; Matias David Lee; Martin Steffen; Gianluigi Zavattaro (FACS, 2012)

Verification of Ad Hoc Networks with Node and Communication Failures. - Giorgio Delzanno; Arnaud Sangnier; Gianluigi Zavattaro (FMOODS/FORTE, 2012)

On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (FSTTCS, 2012)

Towards the Verification of Adaptable Processes. - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (ISoLA (1), 2012)

Towards a Formal Component Model for the Cloud. - Roberto Di Cosmo; Stefano Zacchiroli; Gianluigi Zavattaro (SEFM, 2012)

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks - Giorgio Delzanno; Arnaud Sangnier; Riccardo Traverso; Gianluigi Zavattaro (CoRR, 2012)

Adaptable processes - Mario Bravetti; Cinzia Di Giusto; Jorge A. Pérez 001; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2012)

Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). - Cristian Versari; Gianluigi Zavattaro (CS2Bio, 2012)

Reachability problems in BioAmbients. - Giorgio Delzanno; Gianluigi Zavattaro (Theor. Comput. Sci., 2012)

Complex Functional Rates in Rule-Based Languages for Biochemistry. - Cristian Versari; Gianluigi Zavattaro (Trans. Comp. Sys. Biology, 2012)

Decidability Results for Dynamic Installation of Compensation Handlers. - Ivan Lanese; Gianluigi Zavattaro (COORDINATION, 2013)

Aeolus: Mastering the Complexity of Cloud Application Deployment. - Michel Catan; Roberto Di Cosmo; Antoine Eiche; Tudor A. Lascu; Michael Lienhardt; Jacopo Mauro; Ralf Treinen; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ESOCC, 2013)

Automatic Component Deployment in the Presence of Circular Dependencies. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (FACS, 2013)

Component Reconfiguration in the Presence of Conflicts. - Roberto Di Cosmo; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro (ICALP (2), 2013)

A Planning Tool Supporting the Deployment of Cloud Applications. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (ICTAI, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Amending Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (WWV, 2013)

Behavioural contracts with request-response operations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (Sci. Comput. Program., 2013)

Service-Oriented Programming with Jolie. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (Web Services Foundations, 2014)

Fault Model Design Space for Cooperative Concurrency. - Ivan Lanese; Michael Lienhardt; Mario Bravetti; Einar Broch Johnsen; Rudolf Schlatte; Volker Stolz; Gianluigi Zavattaro (ISoLA (2), 2014)

Decidability Problems for Actor Systems. - Frank S. de Boer; Mohammad Mahdi Jaghoori; Cosimo Laneve; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2014)

Choreographies and Behavioural Contracts on the Way to Dynamic Updates. - Mario Bravetti; Gianluigi Zavattaro (MOD*, 2014)

Aeolus: A component model for the cloud. - Roberto Di Cosmo; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro (Inf. Comput., 2014)

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Software, Services, and Systems, 2015)

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

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). - Roberto Di Cosmo; Michael Lienhardt; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (CONCUR, 2015)

On the Integration of Automatic Deployment into the ABS Modeling Language. - Stijn de Gouw; Michael Lienhardt; Jacopo Mauro; Behrooz Nobakht; Gianluigi Zavattaro (ESOCC, 2015)

Automatic Deployment of Services in the Cloud with Aeolus Blender. - Roberto Di Cosmo; Antoine Eiche; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ICSOC, 2015)

On the Complexity of Reconfiguration in Systems with Legacy Components. - Jacopo Mauro; Gianluigi Zavattaro (MFCS (1), 2015)

Automatic deployment of component-based applications. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (Sci. Comput. Program., 2015)

On the Expressiveness of Synchronization in Component Deployment. - Jacopo Mauro; Gianluigi Zavattaro (Theory and Practice of Formal Methods, 2016)

Declarative Elasticity in ABS. - Stijn de Gouw; Jacopo Mauro; Behrooz Nobakht; Gianluigi Zavattaro (ESOCC, 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (CoRR, 2017)

Undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Inf. Comput., 2017)

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. - Mario Bravetti; Gianluigi Zavattaro (COORDINATION, 2018)

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. - Frank S. de Boer; Elena Giachino; Stijn de Gouw; Reiner Hähnle; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun; Gianluigi Zavattaro (VORTEX@ECOOP/ISSTA, 2018)

A Petri Net Based Modeling of Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Matias David Lee; Gianluigi Zavattaro (Fundam. Informaticae, 2018)

On the boundary between decidability and undecidability of asynchronous session subtyping. - Mario Bravetti; Marco Carbone; Gianluigi Zavattaro (Theor. Comput. Sci., 2018)

Playing with Bisimulation in Erlang. - Ivan Lanese; Davide Sangiorgi; Gianluigi Zavattaro (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

A Sound Algorithm for Asynchronous Session Subtyping. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CONCUR, 2019)

Optimal and Automated Deployment for Microservices. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (FASE, 2019)

Relating Session Types and Behavioural Contracts: The Asynchronous Case. - Mario Bravetti; Gianluigi Zavattaro (SEFM, 2019)

A Sound Algorithm for Asynchronous Session Subtyping (extended version). - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (CoRR, 2019)

On the modeling of optimal and automatized cloud application deployment. - Stijn de Gouw; Jacopo Mauro; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2019)

A Formal Approach to Microservice Architecture Deployment. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (Microservices, Science and Engineering, 2020)

Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2020)

Microservice Interface Based Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2020)

Process calculi as a tool for studying coordination, contracts and session types. - Mario Bravetti; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2020)

Microservice Dynamic Architecture-Level Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (COORDINATION, 2021)

A Session Subtyping Tool. - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (COORDINATION, 2021)

Fair Refinement for Asynchronous Session Types. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (FoSSaCS, 2021)

Fair Refinement for Asynchronous Session Types (extended version). - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

A Session Subtyping Tool (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro (CoRR, 2021)

Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2021)

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. - Mario Bravetti; Marco Carbone; Julien Lange; Nobuko Yoshida; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2021)

Asynchronous session subtyping as communicating automata refinement. - Mario Bravetti; Gianluigi Zavattaro (Softw. Syst. Model., 2021)

SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. - Lorenzo Bacchiani; Giuseppe De Palma; Luca Sciullo; Mario Bravetti; Marco De Felice; Maurizio Gabbrielli; Gianluigi Zavattaro; Roberto Della Penna; Corrado Iorizzo; Andrea Livaldi; Luca Magnotta; Mirko Orsini (CIoT, 2022)

Proactive-Reactive Global Scaling, with Analytics. - Lorenzo Bacchiani; Mario Bravetti; Maurizio Gabbrielli; Saverio Giallorenzo; Gianluigi Zavattaro; Stefano Pio Zingaro (ICSOC, 2022)

A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2022)

Custom Serverless Function Scheduling Policies: An APP Tutorial. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Microservices, 2022)

Topology-aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2022)

Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. - Lorenzo Bacchiani; Giuseppe De Palma; Luca Sciullo; Mario Bravetti; Marco Di Felice; Maurizio Gabbrielli; Gianluigi Zavattaro; Roberto Della Penna (IEEE Internet Things Mag., 2022)

Serverless Scheduling Policies based on Cost Analysis. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (TiCSA@ETAPS, 2023)

Formally Verifying Function Scheduling Properties in Serverless Applications. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IT Prof., 2023)

Integrated Timed Architectural Modeling/Execution Language. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (Active Object Languages: Current Research Trends, 2024)

FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. - Monica Vitali; Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Simone Gazza; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (CAiSE Research Projects Exhibition, 2024)

An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (COORDINATION, 2024)

Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. - Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Monica Vitali; Gianluigi Zavattaro (FRAME@HPDC, 2024)

FunLess: Functions-as-a-Service for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2024)

Function-as-a-Service Allocation Policies Made Formal. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ISoLA (1), 2024)

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. - Roberto Amadini; Simone Gazza; Jacopo Soldani; Monica Vitali; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (LOPSTR, 2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2024)

On the Complexity of Reachability Properties in Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2024)

Adaptable TeaStore. - Simon Bliudze; Giuseppe De Palma; Saverio Giallorenzo; Ivan Lanese; Gianluigi Zavattaro; Brice Arleon Zemtsop Ndadji (CoRR, 2024)

WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IEEE Internet Comput., 2024)

Fair Asynchronous Session Subtyping. - Mario Bravetti; Julien Lange; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

Leveraging static analysis for cost-aware serverless scheduling policies. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Int. J. Softw. Tools Technol. Transf., 2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. - Mario Bravetti; Luca Padovani; Gianluigi Zavattaro (CONCUR, 2025)

Decidability Problems for Micro-Stipula. - Giorgio Delzanno; Cosimo Laneve; Arnaud Sangnier; Gianluigi Zavattaro (COORDINATION, 2025)

Fair Termination of Asynchronous Binary Sessions. - Luca Padovani; Gianluigi Zavattaro (ECOOP, 2025)

Affinity-aware Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICSA, 2025)

Distributed serverless function scheduling in ad-hoc drone networks. - Giuseppe De Palma; Saverio Giallorenzo; Alexandre Heideker; Matteo Trentin; Angelo Trotta; Gianluigi Zavattaro (Ad Hoc Networks, 2025)

Proactive-reactive microservice architecture global scaling. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Maurizio Gabbrielli; Gianluigi Zavattaro; Stefano Pio Zingaro (J. Syst. Softw., 2025)

tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Sci. Comput. Program., 2026)