scientific article; zbMATH DE number 7204939
From MaRDI portal
Publication:5111635
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3714941 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 7167779 (Why is no real title available?)
- A calculus of mobile processes. I
- A theory of communicating processes with value passing
- A theory of higher order communicating systems
- A thesis for interaction
- An introduction to the \(\pi\)-calculus.
- Barbed bisimulation
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Expressiveness of process algebras
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- Functions as processes
- Non-deterministic structures of computation
- Objects in the \(\pi\)-calculus
- On the expressiveness of interaction
- Symbolic bisimulations
- The Value-Passing Calculus
- The \(\pi\)-calculus: A theory of mobile processes
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The universal process
- Theory of interaction
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
- What is a ``good encoding of guarded choice?
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111635)
