Towards Static Deadlock Resolution in the $$\pi $$-Calculus

DOI10.1007/978-3-319-05119-2_9zbMath1348.68161OpenAlexW1442654233MaRDI QIDQ2830031

Marco Giunti, António Ravara

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_9

Mathematics Subject Classification ID

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

Related Items (2)

Comparing type systems for deadlock freedom ⋮ Algorithmic type checking for a pi-calculus with name matching and session types

This page was built for publication: Towards Static Deadlock Resolution in the $$\pi $$-Calculus