Parallel Processes with Implicit Computational Capital
From MaRDI portal
Publication:2870191
DOI10.1016/j.entcs.2008.04.004zbMath1279.68248OpenAlexW2018364369MaRDI QIDQ2870191
Jan A. Bergstra, C. A. Middelburg
Publication date: 17 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.004
Macroeconomic theory (monetary models, models of taxation) (91B64) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebra of communicating processes with abstraction
- On the consistency of Koomen's fair abstraction rule
- A calculus of communicating systems
- Process algebra for synchronous communication
- Process Algebra
- Branching time and abstraction in bisimulation semantics
- Elementary Algebraic Specifications of the Rational Complex Numbers
- Processes, Terms and Cycles: Steps on the Road to Infinity
This page was built for publication: Parallel Processes with Implicit Computational Capital