EPTCS 41 - EXPRESS'10
Sibylle B. Fröschle, Frank D. Valencia (Eds.): Proceedings 17th International Workshop on Expressiveness in Concurrency. 2010 EPTCS 41 [ contents ]- Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg: Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract). ... 1-15
- Federico Banti, Rosario Pugliese, Francesco Tiezzi: A criterion for separating process calculi. ... 16-30
- Andrea Cerone, Matthew Hennessy: Process Behaviour: Formulae vs. Tests (Extended Abstract). ... 31-45
- Roberto Gorrieri, Cristian Versari: A Process Calculus for Expressing Finite Place/Transition Petri Nets. ... 76-90
- Gavin Lowe: Models for CSP with availability information. ... 91-105
- Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions. ... 106-120
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