Tau laws for pi calculus
From MaRDI portal
Publication:1884877
DOI10.1016/S0304-3975(03)00202-0zbMath1071.68075MaRDI QIDQ1884877
Publication date: 27 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (8)
Axiomatizations for probabilistic finite-state behaviors ⋮ Fair ambients ⋮ Theory of interaction ⋮ On the expressiveness of interaction ⋮ On quasi-open bisimulation ⋮ A thesis for interaction ⋮ Processes against tests: on defining contextual equivalences ⋮ Understanding the mismatch combinator in chi calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- Symbolic bisimulations
- A schematic axiom for open congruence
- A complete inference system for a class of regular behaviours
- Some congruence properties for \(\pi\)-calculus bisimilarities
- A calculus of mobile processes. I
- A complete axiomatisation for observational congruence of finite-state behaviours
- Reaction graph
- Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
- On the expressiveness of internal mobility in name-passing calculi
- On bisimulations for the asynchronous \(\pi\)-calculus
- Plain CHOCS. A second generation calculus for higher order processes
- A theory of higher order communicating systems
- Testing equivalences for processes
- On reduction-based process semantics
- Mobile ambients
- Testing congruence for mobile processes
- Algebraic theories for name-passing calculi
- Testing equivalence for mobile processes
- A theory of bisimulation for the \(\pi\)-calculus
- A symbolic semantics for the \(\pi\)-calculus
- Variations on mobile processes
- Algebraic laws for nondeterminism and concurrency
- A proof theoretical approach to communication
This page was built for publication: Tau laws for pi calculus
