EPTCS 89 - EXPRESS/SOS 2012
Bas Luttik, Michel A. Reniers (Eds.): Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics. 2012 EPTCS 89 [ contents ]- Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot: On the specification of operations on the rational behaviour of systems. ... 3-18
- Gérard Boudol, Gustavo Petri, Bernard P. Serpette: Relaxed Operational Semantics of Concurrent Programming Languages. ... 19-33
- Rob J. van Glabbeek: Musings on Encodings and Expressiveness. ... 81-98
- Piotr Hofman, Patrick Totzke: Approximating Weak Bisimilarity of Basic Parallel Processes. ... 99-113
- Matias David Lee, Daniel Gebler, Pedro R. D'Argenio: Tree rules in probabilistic transition system specifications with negative and quantitative premises. ... 115-130
- Stephan Mennicke: An Operational Petri Net Semantics for the Join-Calculus. ... 131-147
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