Published: 6th August 2011
DOI: 10.4204/EPTCS.60
ISSN: 2075-2180

EPTCS 60

Proceedings First International Workshop on
Process Algebra and Coordination
Reykjavik, Iceland, 9th June 2011

Edited by: Luca Aceto and Mohammad Reza Mousavi

Preface
Luca Aceto and Mohammad Reza Mousavi
Towards reduction of Paradigm coordination models
Suzana Andova, Luuk Groenewegen and Erik de Vink
1
Input-output Conformance Testing for Channel-based Service Connectors
Natallia Kokash, Farhad Arbab, Behnaz Changizi and Leonid Makhnist
19
Invited Paper: A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst and Jasen Markovski
36
Invited Paper: Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
Giorgio Delzanno, Arnaud Sangnier and Gianluigi Zavattaro
56
Invited Paper: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola and Michele Loreti
66

Preface

Welcome to the post-proceedings of PACO 2011, the 1st International Workshop on Process Algebra and Coordination. PACO 2011 was held in Reykjavik, Iceland on June 9th, 2011 as a satellite event of DisCoTec 2011, the 6th International Federated Conferences on Distributed Computing Techniques.

Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for specifying and programming communication of components. Hence, the two fields seem to have very much in common and the links between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages.

The aim of PACO 2011 was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It comprised two main parts: contributed talks and invited lectures. The post-proceedings also feature two parts: in the first part, we have two selected contributions, respectively, on reduction techniques and notions of conformance testing for coordination and in the second part, we have three invited papers, respectively, on process algebra for supervisory coordination, parameterized verification of wireless sensor networks and a common semantic framework for non-deterministic, probabilistic and stochastic processes. The last paper is based on the presentation of Rocco de Nicola which was held as the joint invited talk with ICE 2011, the 4th Interaction and Concurrency Experience.

We would like to thank all the members of the program committee for their effort in the review process, the external reviewers for providing insightful review reports, the invited speakers for their inspiring talks, the authors for submitting their papers to the post-proceedings of the workshop, and the participants for attending the workshop in Reykjavik.

Luca Aceto
Mohammad Reza Mousavi

Program Committee

External Reviewers

Organization Chair