Facile
From MaRDI portal
Software:20682
No author found.
Related Items (22)
Unnamed Item ⋮ Unnamed Item ⋮ PiDuce- A project for experimenting web services technologies ⋮ Linear forwarders ⋮ Contextual equivalence for higher-order pi-calculus revisited ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Higher-order processes and their models ⋮ From CML to its process algebra ⋮ Causality for mobile processes ⋮ 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 ⋮ Unnamed Item ⋮ A Filter Model for Concurrent $\lambda$-Calculus ⋮ Asynchronous process calculi: The first- and higher-order paradigms ⋮ Assigning types to processes ⋮ Language-based performance prediction for distributed and mobile systems ⋮ A theory of weak bisimulation for Core CML ⋮ A fully abstract denotational semantics for the \(\pi\)-calculus ⋮ Plain CHOCS. A second generation calculus for higher order processes
This page was built for software: Facile
