Spatial and Behavioral Types in the Pi-Calculus

DOI10.1007/978-3-540-85361-9_30zbMath1160.03312OpenAlexW2154345456MaRDI QIDQ3541031

Lucia Acciai, Michele Boreale

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_30

zbMATH Keywords

pi-calculusspatial logicbehavioural type systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Spatial and behavioral types in the pi-calculus ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ The Decidability of the Reachability Problem for CCS!

This page was built for publication: Spatial and Behavioral Types in the Pi-Calculus