Gianluigi Zavattaro

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SensoriaProcess Calculi for Service-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

: A Calculus for Service Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

Choreography and Orchestration Conformance for System Design.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Quantitative information in the tuple space coordination model.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Process Algebraic View of Coordination.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Service Oriented Computing: A New Challenge for Process Algebras.

[BibT_eX]

[DOI]

Mario Bravetti

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Towards a formal framework for Choreography.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

web-pi at Work.

[BibT_eX]

[DOI]

Cosimo Laneve

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Supporting e-commerce systems formalization with choreography languages.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Reachability Analysis in Boxed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Choreography and Orchestration: A Synergic Approach for System Design.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

Foundations of Web Transactions.

[BibT_eX]

[DOI]

Cosimo Laneve

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Deciding Reachability in Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2005

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

On the expressive power of movement and restriction in pure mobile ambients.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Data-Driven Coordination In Peer-To-Peer Information Systems.

[BibT_eX]

[DOI]

Alberto Montresor

Int. J. Cooperative Inf. Syst., 2004

Preface.

[BibT_eX]

[DOI]

Riccardo Focardi

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Preface.

[BibT_eX]

[DOI]

Mario Bravetti

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

WSSecSpaces: a secure data-driven coordination service for Web Services applications.

[BibT_eX]

[DOI]

Roberto Lucchi

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Web Services for E-commerce: guaranteeing security access and quality of service.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Security Issues in the Tuple-Space Coordination Model.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Sirio Capizzi

Riccardo Solmi

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Expired data collection in shared dataspaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Comparing coordination models and architectures using embeddings.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Joost N. Kok

Sci. Comput. Program., 2003

Combining Partitions in SecSpaces.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Replication vs. Recursive Definitions in Channel Based Calculi.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

A Calculus for Long-Running Transactions.

[BibT_eX]

[DOI]

Laura Bocchi

Cosimo Laneve

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

On the Expressiveness of Movement in Pure Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

On the serializability of transactions in shared dataspaces with temporary data.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

State- and Event-Based Reactive Programming in Shared Dataspaces.

[BibT_eX]

[DOI]

Antony I. T. Rowstron

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

On the Serializability of Transactions in JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Comparative analysis of the expressiveness of shared dataspace coordination.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Temporary Data in Shared Dataspace Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2001

An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.

[BibT_eX]

[DOI]

Mauro Gaspari

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

Coordination Models: A Guided Tour.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Comparing three semantics for Linda-like languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

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

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Theor. Comput. Sci., 2000

On the Expressiveness of Linda Coordination Primitives.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

On the Semantics of JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

On the Expressiveness of Event Notification in Data-Driven Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2000

Process Calculi for Coordination: From Linda to JavaSpaces.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

An Algebra of Actors.

[BibT_eX]

Mauro Gaspari

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.

[BibT_eX]

[DOI]

Mauro Gaspari

Proceedings of the ECOOP'99, 1999

Comparing Software Architectures for Coordination Languages.

[BibT_eX]

[DOI]

Marcello M. Bonsangue

Joost N. Kok

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

Generic Process Algebras for Asynchronous Communication.

[BibT_eX]

[DOI]

Frank S. de Boer

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

A Process Algebraic View of Linda Coordination Primitives.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Towards a Hierarchy of Negative Test Operators for Generative Communication.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1997

On the Turing equivalence of Linda coordination primitives.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Three Semantics of the Output Operation for Generative Communication.

[BibT_eX]

[DOI]