Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898166
DOI10.1007/11601548zbMath1171.68561OpenAlexW2234185834MaRDI QIDQ5898166
C. A. Middelburg, Jan A. Bergstra
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of model theory (03C98)
Related Items
Preferential choice and coordination conditions ⋮ Formal modeling of evolving self-adaptive systems ⋮ Splitting bisimulations and retrospective conditions ⋮ Parallel Processes with Implicit Computational Capital
This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity
