Facile
From MaRDI portal
Cited in
(37)- Full abstractness for a functional/concurrent language with higher-order value-passing
- Process calculus based upon evaluation to committed form
- A behavioural theory of first-order CML
- Non-interleaving semantics for mobile processes
- Plain CHOCS. A second generation calculus for higher order processes
- TulaFale
- CLEAN
- PiDuce
- JoCaml
- DACTL
- POOL
- Asynchronous process calculi: The first- and higher-order paradigms
- A fully abstract denotational semantics for the \(\pi\)-calculus
- Assigning types to processes
- Language-based performance prediction for distributed and mobile systems
- Pict
- GUM
- KLAIM
- XPi
- Linear forwarders
- Scheme
- Naira
- Voyager
- scientific article; zbMATH DE number 177855 (Why is no real title available?)
- A Filter Model for Concurrent \lambda-Calculus
- scientific article; zbMATH DE number 1231597 (Why is no real title available?)
- scientific article; zbMATH DE number 1254027 (Why is no real title available?)
- A theory of weak bisimulation for Core CML
- Higher-order processes and their models
- Causality for mobile processes
- scientific article; zbMATH DE number 1393310 (Why is no real title available?)
- scientific article; zbMATH DE number 1398006 (Why is no real title available?)
- Contextual equivalence for higher-order pi-calculus revisited
- Kalas
- Pirouette
- From CML to its process algebra
- PiDuce- A project for experimenting web services technologies
This page was built for software: Facile
