Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
From MaRDI portal
Publication:3638083
DOI10.1007/978-3-642-02930-1_3zbMath1248.68346MaRDI QIDQ3638083
Publication date: 14 July 2009
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02930-1_3
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Deciding safety properties in infinite-state pi-calculus via behavioural types, A spatial equational logic for the applied \(\pi \)-calculus, Spatial and behavioral types in the pi-calculus, Petri Nets with Structured Data, The Decidability of the Reachability Problem for CCS!