Polarized process algebra with reactive composition
From MaRDI portal
Publication:2571202
DOI10.1016/j.tcs.2005.06.014zbMath1077.68057MaRDI QIDQ2571202
Publication date: 1 November 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.014
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Risk assessment for one-counter threads, Thread algebra for strategic interleaving, Denotational semantics for thread algebra
Cites Work
- Unnamed Item
- Algebra of communicating processes with abstraction
- A calculus of communicating systems
- The chemical abstract machine
- Program algebra for sequential code
- Thread algebra for strategic interleaving
- Process algebra for synchronous communication
- A Theory of Communicating Sequential Processes
- Processes and the denotational semantics of concurrency