| 2009 |
|---|
| 86 | EE | Gianluigi Zavattaro:
Reachability Analysis in BioAmbients.
Electr. Notes Theor. Comput. Sci. 227: 179-193 (2009) |
| 2008 |
|---|
| 85 | | Marco Bernardo,
Pierpaolo Degano,
Gianluigi Zavattaro:
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures
Springer 2008 |
| 84 | | Doug Lea,
Gianluigi Zavattaro:
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Springer 2008 |
| 83 | EE | Luca Cardelli,
Gianluigi Zavattaro:
On the Computational Power of Biochemistry.
AB 2008: 65-80 |
| 82 | EE | Claudio Guidi,
Ivan Lanese,
Fabrizio Montesi,
Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations.
ACSD 2008: 190-198 |
| 81 | EE | Gianluigi Zavattaro,
Luca Cardelli:
Termination Problems in Chemical Kinetics.
CONCUR 2008: 477-491 |
| 80 | EE | Ivan Lanese,
Claudio Guidi,
Fabrizio Montesi,
Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
SEFM 2008: 323-332 |
| 79 | EE | Gianluigi Zavattaro:
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
SFM 2008: 507-523 |
| 78 | EE | Mario Bravetti,
Ivan Lanese,
Gianluigi Zavattaro:
Contract-Driven Implementation of Choreographies.
TGC 2008: 1-18 |
| 77 | EE | Mario Bravetti,
Diego Latella,
Michele Loreti,
Mieke Massink,
Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
TGC 2008: 52-68 |
| 76 | EE | Mario Bravetti,
Gianluigi Zavattaro:
A Foundational Theory of Contracts for Multi-party Service Composition.
Fundam. Inform. 89(4): 451-478 (2008) |
| 75 | EE | Nadia Busi,
Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination.
J. Log. Algebr. Program. 75(1): 52-85 (2008) |
| 74 | EE | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci. 408(1): 17-30 (2008) |
| 2007 |
|---|
| 73 | EE | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
CMSB 2007: 168-183 |
| 72 | EE | Mario Bravetti,
Gianluigi Zavattaro:
A Theory for Strong Service Compliance.
COORDINATION 2007: 96-112 |
| 71 | EE | Fabrizio Montesi,
Claudio Guidi,
Gianluigi Zavattaro:
Composing Services with JOLIE.
ECOWS 2007: 13-22 |
| 70 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Contract Based Multi-party Service Composition.
FSEN 2007: 207-222 |
| 69 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Towards a Unifying Theory for Choreography Conformance and Contract Compliance.
Software Composition 2007: 34-50 |
| 68 | EE | Fabrizio Montesi,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
JOLIE: a Java Orchestration Language Interpreter Engine.
Electr. Notes Theor. Comput. Sci. 181: 19-33 (2007) |
| 67 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Guest editor's introduction: Special issue on Web Services and Formal Methods.
J. Log. Algebr. Program. 70(1): 1-2 (2007) |
| 66 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Service oriented computing from a process algebraic perspective.
J. Log. Algebr. Program. 70(1): 3-14 (2007) |
| 2006 |
|---|
| 65 | | Mario Bravetti,
Manuel Núñez,
Gianluigi Zavattaro:
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
Springer 2006 |
| 64 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design.
COORDINATION 2006: 63-81 |
| 63 | EE | Claudio Guidi,
Roberto Lucchi,
Roberto Gorrieri,
Nadia Busi,
Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing.
ICSOC 2006: 327-338 |
| 62 | EE | Martin Wirsing,
Rocco De Nicola,
Stephen Gilmore,
Matthias M. Hölzl,
Roberto Lucchi,
Mirco Tribastone,
Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing.
TGC 2006: 30-50 |
| 61 | EE | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
| 60 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Service Oriented Computing: A New Challenge for Process Algebras.
Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006) |
| 59 | EE | Nadia Busi,
Gianluigi Zavattaro:
A Process Algebraic View of Coordination.
Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006) |
| 58 | EE | Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Supporting Secure Coordination in SecSpaces.
Fundam. Inform. 73(4): 479-506 (2006) |
| 57 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems.
Sci. Comput. Program. 63(1): 1-2 (2006) |
| 56 | EE | Riccardo Focardi,
Roberto Lucchi,
Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey.
Sci. Comput. Program. 63(1): 3-15 (2006) |
| 2005 |
|---|
| 55 | | Martin Steffen,
Gianluigi Zavattaro:
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Springer 2005 |
| 54 | | Mario Bravetti,
Leïla Kloul,
Gianluigi Zavattaro:
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Springer 2005 |
| 53 | EE | Nadia Busi,
Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
COORDINATION 2005: 204-219 |
| 52 | EE | Nadia Busi,
Gianluigi Zavattaro:
Deciding Reachability in Mobile Ambients.
ESOP 2005: 248-262 |
| 51 | EE | Cosimo Laneve,
Gianluigi Zavattaro:
Foundations of Web Transactions.
FoSSaCS 2005: 282-298 |
| 50 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC 2005: 228-240 |
| 49 | EE | Nadia Busi,
Gianluigi Zavattaro:
Reachability Analysis in Boxed Ambients.
ICTCS 2005: 143-159 |
| 48 | EE | Mario Bravetti,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Supporting e-commerce systems formalization with choreography languages.
SAC 2005: 831-835 |
| 47 | EE | Cosimo Laneve,
Gianluigi Zavattaro:
web-pi at Work.
TGC 2005: 182-194 |
| 46 | EE | Nadia Busi,
Roberto Gorrieri,
Claudio Guidi,
Roberto Lucchi,
Gianluigi Zavattaro:
Towards a formal framework for Choreography.
WETICE 2005: 107-112 |
| 45 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Preface.
Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005) |
| 44 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005) |
| 43 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci. 346(1): 28-57 (2005) |
| 2004 |
|---|
| 42 | EE | Sirio Capizzi,
Riccardo Solmi,
Gianluigi Zavattaro:
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming.
COORDINATION 2004: 105-118 |
| 41 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
COORDINATION 2004: 55-70 |
| 40 | EE | Mario Bravetti,
Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust 2004: 1-12 |
| 39 | EE | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi.
ICALP 2004: 307-319 |
| 38 | EE | Roberto Lucchi,
Gianluigi Zavattaro:
WSSecSpaces: a secure data-driven coordination service for Web Services applications.
SAC 2004: 487-491 |
| 37 | EE | Mario Bravetti,
Roberto Lucchi,
Gianluigi Zavattaro,
Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service.
SAC 2004: 800-806 |
| 36 | EE | Mario Bravetti,
Gianluigi Zavattaro:
Preface.
Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004) |
| 35 | EE | Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
Combining Partitions in SecSpaces.
Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004) |
| 34 | EE | Nadia Busi,
Alberto Montresor,
Gianluigi Zavattaro:
Data-Driven Coordination In Peer-To-Peer Information Systems.
Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004) |
| 33 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients.
Theor. Comput. Sci. 322(3): 477-515 (2004) |
| 2003 |
|---|
| 32 | EE | Laura Bocchi,
Cosimo Laneve,
Gianluigi Zavattaro:
A Calculus for Long-Running Transactions.
FMOODS 2003: 124-138 |
| 31 | EE | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi.
ICALP 2003: 133-144 |
| 30 | | Nadia Busi,
Cristian Manfredini,
Alberto Montresor,
Gianluigi Zavattaro:
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.
SAC 2003: 380-386 |
| 29 | EE | Nadia Busi,
Roberto Gorrieri,
Roberto Lucchi,
Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 28 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Preface.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 27 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing coordination models and architectures using embeddings.
Sci. Comput. Program. 46(1-2): 31-69 (2003) |
| 26 | EE | Nadia Busi,
Gianluigi Zavattaro:
Expired data collection in shared dataspaces.
Theor. Comput. Sci. 3(298): 529-556 (2003) |
| 2002 |
|---|
| 25 | EE | Nadia Busi,
Antony I. T. Rowstron,
Gianluigi Zavattaro:
State- and Event-Based Reactive Programming in Shared Dataspaces.
COORDINATION 2002: 111-124 |
| 24 | EE | Nadia Busi,
Cristian Manfredini,
Alberto Montresor,
Gianluigi Zavattaro:
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.
NETWORKING Workshops 2002: 295-299 |
| 23 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the serializability of transactions in shared dataspaces with temporary data.
SAC 2002: 359-366 |
| 22 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Expressiveness of Movement in Pure Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 2001 |
|---|
| 21 | EE | Mauro Gaspari,
Gianluigi Zavattaro:
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444 |
| 20 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages.
FoSSaCS 2001: 121-136 |
| 19 | EE | Nadia Busi,
Gianluigi Zavattaro:
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
WETICE 2001: 328-333 |
| 18 | | Nadia Busi,
Paolo Ciancarini,
Roberto Gorrieri,
Gianluigi Zavattaro:
Coordination Models: A Guided Tour.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 |
| 17 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Serializability of Transactions in JavaSpaces.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 16 | EE | Antonio Brogi,
Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 15 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces.
AMAST 2000: 198-212 |
| 14 | EE | Nadia Busi,
Gianluigi Zavattaro:
On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
ESOP 2000: 41-55 |
| 13 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Semantics of JavaSpaces.
FMOODS 2000: 3- |
| 12 | | Nadia Busi,
Gianluigi Zavattaro:
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
SAC (1) 2000: 233-239 |
| 11 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives.
Inf. Comput. 156(1-2): 90-121 (2000) |
| 10 | EE | Marcello M. Bonsangue,
Farhad Arbab,
J. W. de Bakker,
Jan J. M. M. Rutten,
A. Secutella,
Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci. 240(1): 3-47 (2000) |
| 9 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages.
Theor. Comput. Sci. 240(1): 49-90 (2000) |
| 1999 |
|---|
| 8 | EE | Frank S. de Boer,
Gianluigi Zavattaro:
Generic Process Algebras for Asynchronous Communication.
CONCUR 1999: 226-241 |
| 7 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing Software Architectures for Coordination Languages.
COORDINATION 1999: 150-165 |
| 6 | EE | Mauro Gaspari,
Gianluigi Zavattaro:
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.
ECOOP 1999: 495-518 |
| 5 | | Mauro Gaspari,
Gianluigi Zavattaro:
An Algebra of Actors.
FMOODS 1999 |
| 1998 |
|---|
| 4 | EE | Gianluigi Zavattaro:
Towards a Hierarchy of Negative Test Operators for Generative Communication.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 3 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives.
Theor. Comput. Sci. 192(2): 167-199 (1998) |
| 1997 |
|---|
| 2 | | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication.
COORDINATION 1997: 205-219 |
| 1 | EE | Nadia Busi,
Roberto Gorrieri,
Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
