CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897491
DOI10.1007/11539452zbMath1134.68450OpenAlexW1737342522MaRDI 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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
Howe’s Method for Calculi with Passivation ⋮ A unified rule format for bounded nondeterminism in SOS with terms as labels ⋮ SOS formats and meta-theory: 20 years after ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Synchronous cooperation for explicit multi-threading ⋮ A thread calculus with molecular dynamics ⋮ On Well-Foundedness and Expressiveness of Promoted Tyft
This page was built for publication: CONCUR 2005 – Concurrency Theory