Facile
From MaRDI portal
Software:20682
swMATH8679MaRDI QIDQ20682FDOQ20682
Author name not available (Why is that?)
Cited In (22)
- 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
- Title not available (Why is that?)
- 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
