Reaction graph
From MaRDI portal
Publication:1273068
DOI10.1007/BF02946493zbMath0910.68073OpenAlexW3192904815MaRDI QIDQ1273068
Publication date: 2 December 1998
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02946493
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Graph theory (including graph drawing) in computer science (68R10)
Related Items (3)
Tau laws for pi calculus ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ Variations on mobile processes
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Computational interpretations of linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The chemical abstract machine
- A calculus of mobile processes. I
- Plain CHOCS. A second generation calculus for higher order processes
- Proofs as processes
- On the \(\pi\)-calculus and linear logic
- A theory of higher order communicating systems
- On reduction-based process semantics
- Interaction combinators
- Symmetric \(\pi\)-calculus
- Algebraic theories for name-passing calculi
This page was built for publication: Reaction graph
