CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900560
DOI10.1007/b11938zbMath1274.68258OpenAlexW105220891MaRDI QIDQ5900560
Publication date: 30 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11938
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation, SOS formats and meta-theory: 20 years after, Generating priority rewrite systems for OSOS process languages