EPTCS 60 - PACO 2011
Luca Aceto, Mohammad Reza Mousavi (Eds.): Proceedings First International Workshop on Process Algebra and Coordination. 2011 EPTCS 60 [ contents ]- Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models. ... 1-18
- Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist: Input-output Conformance Testing for Channel-based Service Connectors. ... 19-35
- Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski: A Process Algebra for Supervisory Coordination. ... 36-55
- Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro: Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. ... 56-65
- Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. ... 66-75
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team