scientific article; zbMATH DE number 1863170

zbMath1006.68090MaRDI QIDQ4791841

No author found.

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540292.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (20)

Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity ⋮ Tau laws for pi calculus ⋮ Fair ambients ⋮ simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus ⋮ Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ Theory of interaction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Open bisimulation, revisited ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ On the expressiveness of interaction ⋮ On quasi-open bisimulation ⋮ Processes against tests: on defining contextual equivalences ⋮ Applying a testing approach to the Calculus of Fair Ambients ⋮ Unnamed Item ⋮ Understanding the mismatch combinator in chi calculus ⋮ Nominal unification with letrec and environment-variables

This page was built for publication: