Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898149
DOI10.1007/11601548zbMath1171.68583MaRDI QIDQ5898149
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11601548
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Just testing, On cool congruence formats for weak bisimulations, Characteristic invariants in Hennessy-Milner logic, Unique solutions of contractions, CCS, and their HOL formalisation, Axiomatizing weak simulation semantics over BCCSP, Axiomatizing Weak Ready Simulation Semantics over BCCSP, Unnamed Item