Understanding the mismatch combinator in chi calculus
From MaRDI portal
Publication:1853614
DOI10.1016/S0304-3975(02)00373-0zbMath1019.68067MaRDI QIDQ1853614
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A complete inference system for a class of regular behaviours
- The chemical abstract machine
- A calculus of mobile processes. I
- A complete axiomatisation for observational congruence of finite-state behaviours
- Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
- On reduction-based process semantics
- Tau laws for pi calculus
- Algebraic theories for name-passing calculi
- Testing equivalence for mobile processes
- A theory of bisimulation for the \(\pi\)-calculus
- Variations on mobile processes
- Functions as processes
- A proof theoretical approach to communication