CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897491
DOI10.1007/11539452zbMath1134.68450MaRDI QIDQ5897491
No author found.
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
Bisimulation; Congruence; Congruence Rule Formats; Formal Semantics; Structural Operational Semantics
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Foundational aspects of multiscale modeling of biological systems with process algebras, Characterizing contextual equivalence in calculi with passivation, SOS formats and meta-theory: 20 years after, A thread calculus with molecular dynamics, A unified rule format for bounded nondeterminism in SOS with terms as labels, Synchronous cooperation for explicit multi-threading, On Well-Foundedness and Expressiveness of Promoted Tyft, Howe’s Method for Calculi with Passivation