CONCUR 2003 - Concurrency Theory

DOI10.1007/b11938zbMath1274.68241OpenAlexW105220891MaRDI QIDQ5900559

Bartek Klin, Paweł Sobociński

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Adding recursive constructs to bialgebraic semantics ⋮ (Bi)simulations up-to characterise process semantics ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic Methods in Structural Operational Semantics

This page was built for publication: CONCUR 2003 - Concurrency Theory