swMATH8679MaRDI QIDQ20682FDOQ20682
Author name not available (Why is that?)
Official website: http://link.springer.com/article/10.1007/BF01491213
Cited In (32)
- Kalas
- Pirouette
- Causality for mobile processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of weak bisimulation for Core CML
- Asynchronous process calculi: The first- and higher-order paradigms
- Full abstractness for a functional/concurrent language with higher-order value-passing
- Language-based performance prediction for distributed and mobile systems
- Process calculus based upon evaluation to committed form
- Non-interleaving semantics for mobile processes
- A behavioural theory of first-order CML
- Title not available (Why is that?)
- Contextual equivalence for higher-order pi-calculus revisited
- A fully abstract denotational semantics for the \(\pi\)-calculus
- Assigning types to processes
- Linear forwarders
- TulaFale
- Title not available (Why is that?)
- Pict
- GUM
- KLAIM
- XPi
- Scheme
- Naira
- Voyager
- Higher-order processes and their models
- PiDuce- A project for experimenting web services technologies
- Plain CHOCS. A second generation calculus for higher order processes
- Title not available (Why is that?)
- A Filter Model for Concurrent $\lambda$-Calculus
- From CML to its process algebra
This page was built for software: Facile
