scientific article; zbMATH DE number 1223738
From MaRDI portal
Publication:4219054
zbMath0909.03030MaRDI QIDQ4219054
Georges Gonthier, Cédric Fournet
Publication date: 14 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationconcurrency\(\pi\)-calculusbarbed congruenceasynchronous name-passing process calculihierarchy of equivalences
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)
Related Items
A theory of bisimulation for a fragment of concurrent ML with local names ⋮ PiDuce- A project for experimenting web services technologies ⋮ A synchronous \(\pi\)-calculus ⋮ The SL synchronous language, revisited ⋮ A General Theory of Barbs, Contexts, and Labels ⋮ Processes in space ⋮ The Two-Phase Commitment Protocol in an Extended π-Calculus ⋮ A calculus for reasoning about software composition ⋮ A hierarchy of equivalences for asynchronous calculi ⋮ Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators ⋮ Bisimulations in the join-calculus ⋮ Reactive Systems, Barbed Semantics, and the Mobile Ambients ⋮ Typed behavioural equivalences for processes in the presence of subtyping ⋮ What is a ``good encoding of guarded choice? ⋮ Trace and testing equivalence on asynchronous processes ⋮ Secure implementation of channel abstractions ⋮ Fair Π
