Technical Reports
- On the Expressiveness of Forwarding in Higher-Order Communication
C. Di Giusto, J.A. Perez, G. Zavattaro
- The Kappa-Lattice: Decidability Boundaries for Qualitative
Analysis in Biological Languages
G. Delzanno, C. Di Giusto, M. Gabbrielli, C. Laneve, G. Zavattaro
- On the Expressive Power of Recursion, Replication,
and Iteration in Process Calculi
N. Busi, M. Gabbrielli, G. Zavattaro (to appear in Mathematical Structures in Computer Science)
-
On the Expressive Power of Process Interruption and Compensation
M. Bravetti, G. Zavattaro (to appear in Mathematical Structures in Computer Science)
Journals
-
A Process Algebraic View of Shared Dataspace Coordination
N. Busi, G. Zavattaro
Journal of Logic and Algebraic Programming, Elsevier, To appear
-
Service Oriented Computing from a Process Algebraic Perspective
M. Bravetti, G. Zavattaro
Journal of Logic and Algebraic Programming, 70(1): 3-14, Elsevier, 2007
-
Secure shared data-space Coordination Languages: a Process Algebraic survey
R. Focardi, R. Lucchi, G. Zavattaro
Science of Computer Programming, 63(1): 3-15, Elsevier, 2006
-
Quantitative Information in the Tuple Space Coordination Model
M. Bravetti, R. Gorrieri, R. Lucchi, G. Zavattaro
Theoretical Computer Science, 346(1): 28-57, Elsevier, 2006
- Supporting
Secure Coordination in SecSpaces
R. Gorrieri, R. Lucchi, G. Zavattaro
Fundamenta Informaticae, 73(4): 479-506, IOS Press, 2006
- On
the Expressive Power of Movement and Restriction in Pure Mobile Ambients
N. Busi, G. Zavattaro
Theoretical Computer Science, 322(3): 477-515, Elsevier, 2004
- Data-Driven
Coordination in Peer-to-Peer Information Systems
N. Busi, A. Montresor, G. Zavattaro
International Journal of Cooperative Information Systems, 13(1):63-89, World
Scientific, 2004
- Expired
Data Collection in Shared Dataspaces
N. Busi, G. Zavattaro
Theoretical Computer Science, 298:529-556, Elsevier, 2003
- Comparing
Coordination Models and Architectures using Embeddings
M. Bonsangue, J. Kok, G. Zavattaro
Science of Computer Programming, 46(1-2):31-69, Elsevier, 2002
- A
Transition System Semantics for the Control-Driven Coordination Language MANIFOLD
M. Bonsangue, F. Arbab, J. de Bakker, J. Rutten, A. Scutellà, G. Zavattaro
Theoretical Computer Science, 240(1): 3-47, Elsevier, 2000
- Comparing
Three Semantics for Linda-like Languages
N.
Busi, R. Gorrieri, G. Zavattaro
Theoretical Computer Science, 240(1): 49-90, Elsevier, 2000
- On
the Expressiveness of Linda Coordination Primitives
N. Busi,
R. Gorrieri, G. Zavattaro
Information and Computation, 156(1/2):90-121, Academic Press, 2000
- A
Process Algebraic View of Linda Coordination Primitives
N.
Busi, R. Gorrieri, G. Zavattaro
Theoretical Computer Science, 192(2): 167-199, Elsevier, 1998
Chapters in Books
- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio) Chemical Ground Form
G. Zavattaro
Proceeding of the 8th International School on Formal Methods for the Design of Computer, Communication and Software Systems:
Computational Systems Biology - In memory of Nadia Busi, 507-523
eds. M. Bernardo, P. Degano, G. Zavattaro. LNCS 5016, Springer-Verlag,
2008
- Models
for Coordinating Agents: a Guided Tour
N.
Busi, P. Ciancarini, R. Gorrieri, G. Zavattaro
Coordination for Internet Agents: Models, Technologies, and Applications,
6-24
eds. A. Omicini, F. Zambonelli, M. Klusch, R. Tolksdorf. Springer-Verlag,
2001
- An
Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers
Case Study
M.
Gaspari, G. Zavattaro
Concurrent Object-oriented Programming and Petri Nets, 428-444
eds. G. Agha, F. de Cindio, G. Rozenberg. LNCS 2001, Springer-Verlag,
2001
- An
Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs
P.
Ciancarini, R. Gorrieri, G. Zavattaro
Coordination Programming: Mechanism, Models and Semantics, 232-248
eds. J.-M. Andreoli, C. Hankin, D. Le Mètayer. Imperial College Press,
1996
Conference and Workshop Proceedings
Towards a Unifying Theory for Choreography Conformance and
Contract Compliance
M.Bravetti, G. Zavattaro
In Proc. of 6th International Symposium on
Software Composition (SC'07)
LNCS to appear, 2007. [full version]
Contract
based Multi-party Service Composition
M.Bravetti, G. Zavattaro
In Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN'07)
LNCS to appear, 2007
Towards a formal framework for Choreography
N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro
In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC'05)
IEEE press, 2005
Web-pi
at work
C. Laneve, G. Zavattaro
In Proc. of Symposium on Trustworthy Global Computing
(TGC'05), 182-194
LNCS 3705, Springer-Verlag, 2005
Prioritized
and Parallel Reactions in Shared Data Spaces Coordination Languages
N. Busi, G. Zavattaro
In Proc. of International Conference on Coordination Models and Languages
(COORDINATION'05), 204-219
LNCS 3454, Springer-Verlag, 2005
Deciding
Reachability in Mobile Ambients
N. Busi, G. Zavattaro
In Proc.of European
Symposium on Programming (ESOP'05), 248-262
LNCS 3444, Springer-Verlag, 2005
Foundations
of Web Transactions
C. Laneve, G. Zavattaro
In Proc. of International
Conference on Foundations of Software Science and Computation Structures (FOSSACS'05), 282-298
LNCS 3441, Springer-Verlag, 2005
Supporting
e-commerce systems formalization with choreography languages
M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro
In Proc. of ACM
Symposium on Applied Computing (SAC'05), 831-835
ACM Press, 2005
Security Issues in the Tuple-Space Coordination Model
M. Bravetti, N. Busi, R. Gorrieri, R. Lucchi,
G. Zavattaro
In Proc. of the second International Workshop on Formal Aspects in Security and Trust (FAST'04)
Kluwer Academic Press, 2004
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
M. Bravetti, R. Gorrieri, R. Lucchi,
G. Zavattaro
In Proc. of the second International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04)
Electronic Notes in Theoretical Computer Science 128(5), Elsevier, 2004
Exploiting
Petri Nets in the Analysis of the Expressiveness of Publish/Subscribe Coordination
N. Busi,
G. Zavattaro
In Proc. of the first Workshop on Petri Nets and Coordination (PNC'04)
Co-located with ATPN'04, 2004
Comparing recursion, replication, and iteration in process calculi
N. Busi,
M.Gabbrielli, G. Zavattaro
In Proc. of Thirtyfirst
International Colloquium on Automata, Languages and Programming (ICALP'04),
307-319
LNCS 3142, Springer-Verlag, 2004
Combining
Partitions in SecSpaces
M.
Bravetti, R. Gorrieri, R. Lucchi, G. Zavattaro
In Proc. of Workshop on Fomal Methods for Security and Time (MEFISTO'03)
Electronic Notes in Theoretical Computer Science 99, Elsevier, 2004
Probabilistic
and Prioritized Data Retrieval in the Linda Coordination Model
M.
Bravetti, R. Gorrieri, R. Lucchi, G. Zavattaro
In Proc. of International Conference on Coordination Models and Languages
(COORDINATION'04), 55-70
LNCS 2949, Springer-Verlag, 2004
From
Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
S.
Capizzi, R. Solmi, G. Zavattaro
In Proc. of International Conference on Coordination Models and Languages
(COORDINATION'04), 105-118
LNCS 2949, Springer-Verlag, 2004
Web
Services for E-commerce: guaranteeing security access and quality of service
M. Bravetti,
R. Lucchi, G. Zavattaro, R. Gorrieri
In Proc. of ACM
Symposium on Applied Computing (SAC'04), 800-806
ACM Press, 2004
WSSecSpaces:
a Secure Data-Driven Coordination Service for Web Services Applications
R. Lucchi,
G. Zavattaro
In Proc. of ACM
Symposium on Applied Computing (SAC'04), 487-491
ACM Press, 2004
A
Calculus for Long-running Transactions
L. Bocchi,
C. Laneve, G. Zavattaro
In Proc. of Sixth
IFIP Int. Conf. on Formal Methods for Open-Object Based Distributed Systems
(FMOODS'03), 124-138
LNCS 2884, Springer-Verlag, 2003
Replication
vs. Recursive Definitions in Channel Based Calculi
N. Busi,
M.Gabbrielli, G. Zavattaro
In Proc. of Thirtieth
International Colloquium on Automata, Languages and Programming (ICALP'03),
133-144
LNCS 2719, Springer-Verlag, 2003
PeerSpaces:
Data-driven Coordination in Peer-to-Peer Networks
N. Busi,
C. Manfredini, A. Montresor, G. Zavattaro
In Proc. of ACM
Symposium on Applied Computing (SAC'03), 380-386
ACM Press, 2003
SecSpaces:
a Data-driven Coordination Model for Environments Open to Untrusted Agents
N. Busi,
R. Gorrieri, R. Lucchi, G. Zavattaro
In Proc. of International Workshop on Foundations of Coordination Languages
and Software Architectures (FOCLASA'02)
Electronic Notes in Theoretical Computer Science 68(3), Elsevier, 2002
On
the Expressiveness of Movement in Pure Mobile Ambients
N. Busi,
G. Zavattaro
In Proc. of Foundations of Wide Area Network Computing (FWAN'02)
Electronic Notes in Theoretical Computer Science 66(3), Elsevier, 2002
Towards
a Data-driven Coordination Infrastructure for Peer-to-Peer Systems
N. Busi,
C. Manfredini, A. Montresor, G. Zavattaro
In Proc. of Workshop on Peer-to-Peer Computing, 295-299
LNCS 2376, Springer-Verlag, 2002
State-
and Event-based Reactive Programming in Shared Dataspaces
N. Busi,
A. Rowstron, G. Zavattaro
In Proc. of International Conference on Coordination Models and Languages
(COORDINATION'02), 111-124
LNCS 2315, Springer-Verlag, 2002
On
the Serializability of Transactions in Shared Dataspaces with Temporary Data
N. Busi, G. Zavattaro
In Proc. of ACM Symposium on Applied Computing (SAC'02), 359-366
ACM Press, 2002
Comparative
Analysis of the Expressiveness of Shared Dataspace Coordination
A. Brogi, N. Busi, M. Gabbrielli, G. Zavattaro
In Proc. of Workshop in Theory of Concurrency, Higher Order Languages and
Types (TOSCA'01)
Electronic Notes in Theoretical Computer Science 62, Elsevier, 2001
On
the Serializability of Transactions in JavaSpaces
N.
Busi, G. Zavattaro
In Proc. of International Workshop on Concurrency and Coordination (CONCOORD'01)
Electronic Notes
in Theoretical Computer Science 54, Elsevier, 2001
Publish/Subscribe
vs. Shared Dataspace Coordination Infrastructures
N. Busi,
G. Zavattaro
In Proc. of IEEE Int. Workshops on Enabling Technologies: Infrastructure for
Collaborative Enterprises (WETICE'01), 328-333
IEEE press, 2001
Some
Thoughts on Transiently Shared Dataspaces
N. Busi,
G. Zavattaro
In Proc. of Workshop on Software Engineering and Mobility
Co-located with ICSE'01, 2001
Temporary
Data in Shared Dataspace Coordination Languages
N. Busi,
R. Gorrieri, G. Zavattaro
In Proc. of International Conference on Foundations of Software Science and
Computation Structures (FOSSACS'01), 121-136
LNCS 2030, Springer-Verlag, 2001
Process
Calculi for Coordination: from Linda to JavaSpaces
N. Busi,
R. Gorrieri, G. Zavattaro
In Proc. of International Conference on Algebraic Methodology and Software
Technology (AMAST'00), 198-212
LNCS 1816, Springer-Verlag, 2000
On
the Semantics of JavaSpaces
N. Busi, R. Gorrieri, G. Zavattaro
In Proc. of IFIP Conference on Formal Methods for Open Object-based Distributed
Systems (FMOODS'00), 3-19
Kluwer Academic Publisher, 2000
On
the Expressiveness of Event Notification in Data-driven Coordination Languages
N, Busi,G.
Zavattaro
In Proc.of European Symposium on Programming (ESOP'00), 41-55
LNCS 1782, Springer-Verlag, 2000
Event
Notification in Data-driven Coordination Languages: Comparing the Ordered
and Unordered Interpretations
N. Busi,
G. Zavattaro
In Proc. of ACM Symposium on Applied Computing (SAC'00), 233-239
ACM Press, 2000
Comparing
Software Architectures for Coordination Languages
M. Bonsangue,
J. Kok, G. Zavattaro
In Proc. of International Conference on Coordination Models and Languages
(COORDINATION'99), 150-165
LNCS 1594, Springer-Verlag, 1999
Generic
Process Algebra for Asynchronous Communication
F. de Boer,
G. Zavattaro
In Proc. of International Conference on Concurrency Theory (CONCUR'99), 226-241
LNCS 1664, Springer-Verlag, 1999
A
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
M. Gaspari,
G. Zavattaro
In Proc. of European Conference on Object-Oriented Programming (ECOOP'99),
495-518
LNCS 1628, Springer-Verlag, 1999
Comparing
Coordination Models Based on Shared Distributed Replicated Data
M. Bonsangue,
J. Kok, G. Zavattaro
In Proc.of ACM Symposium on Applied Computing (SAC'99), 156-165
ACM Press, 1999
An
Algebra of Actors
M. Gaspari, G. Zavattaro
In Proc. of IFIP Conference on Formal Methods for Open Object-based Distributed
Systems (FMOODS'99), 3-18
Kluwer Academic Publisher, 1999
Towards
a Hierarchy of Negative Test Operators for Generative Communication
G. Zavattaro
In Proc. of Workshop on Expressiveness in Concurrency (EXPRESS'98)
Electronic Notes in Theoretical Computer Science 16(2), Elsevier, 1998
Three
Semantics of the Output Operation for Asynchronous Communication
N. Busi,
R. Gorrieri, G. Zavattaro
In Proc. of International Conference on CoordinationModels and Languages (COORDINATION'97),
205-219
LNCS 1282, Springer-Verlag, 1997
On
the Turing Equivalence of Linda Coordination Primitives
N. Busi,
R. Gorrieri, G. Zavattaro
In Proc. of Workshop on Expressiveness in Concurrency (EXPRESS'97)
Electronic Notes in Theoretical Computer Science 7, Elsevier, 1997
Towards
a Calculus for Generative Communication
P. Ciancarini, R. Gorrieri, G. Zavattaro
In Proc. of IFIP Conference on Formal Methods for Open Object-based Distributed
Systems (FMOODS'96), 283-297
Chapman & Hall, 1996