scientific article; zbMATH DE number 1759482

zbMath0998.68537MaRDI QIDQ4536436

Alan Schmitt, Jean-Jacques Levy, Cédric Fournet

Publication date: 25 June 2002

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 (19)

PiDuce- A project for experimenting web services technologies ⋮ An efficient abstract machine for safe ambients ⋮ Complete Lattices and Up-To Techniques ⋮ Unnamed Item ⋮ Distributability of mobile ambients ⋮ A taxonomy of process calculi for distribution and mobility ⋮ Using bisimulation proof techniques for the analysis of distributed abstract machines ⋮ Symmetric electoral systems for ambient calculi ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ A hierarchy of equivalences for asynchronous calculi ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ Pict correctness revisited ⋮ Comparing communication primitives via their relative expressive power ⋮ Explicit fusions ⋮ The seal calculus ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ On the expressiveness of π-calculus for encoding mobile ambients ⋮ Structuring Operational Semantics: Simplification and Computation

Uses Software

• JoCaml

This page was built for publication: