scientific article; zbMATH DE number 1927554

zbMath1012.68137MaRDI QIDQ4484478

Davide Sangiorgi

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210076.htm

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

Strong normalisation in the \(\pi\)-calculus ⋮ Comparing type systems for deadlock freedom ⋮ Spatial-behavioral types for concurrency and resource control in distributed systems ⋮ Static Livelock Analysis in CSP

This page was built for publication: