scientific article

zbMath1021.68062MaRDI QIDQ3150203

Charles Meysonnier, Roberto M. Amadio

Publication date: 30 September 2002

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

zbMATH Keywords

decidabilityasynchronous \(\pi\)-calculuscontrol reachability problem

Mathematics Subject Classification ID

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

Related Items (11)

On the expressive power of movement and restriction in pure mobile ambients ⋮ An exercise in structural congruence ⋮ On the Relationship between π-Calculus and Finite Place/Transition Petri Nets ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ Unnamed Item ⋮ Using session types for reasoning about boundedness in the \(\pi\)-calculus ⋮ On Hierarchical Communication Topologies in the $$\pi $$ -calculus ⋮ The ω-Regular Post Embedding Problem ⋮ Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems ⋮ A theory of structural stationarity in the \(\pi\)-calculus ⋮ The Parametric Complexity of Lossy Counter Machines

Uses Software

• Pict

This page was built for publication: