PACO

201120112011

Keyphrases

Publications

2011

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO (2011)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Towards reduction of Paradigm coordination models PACO (2011)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi PACO (2011)
Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
A Process Algebra for Supervisory Coordination PACO (2011)
Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
Input-output Conformance Testing for Channel-based Service Connectors PACO (2011)

volume 60, 2011

Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011. PACO 60 (2011)