Published: 6th August 2011|
|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|
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.
Mohammad Reza Mousavi