scientific article; zbMATH DE number 2044505

zbMath1042.68614MaRDI QIDQ4448369

D. Cacciagrano, Flavio Corradini

Publication date: 18 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020256.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 (6)

On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Separation of synchronous and asynchronous communication via testing ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ Comparing communication primitives via their relative expressive power ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus ⋮ Synchrony vs Asynchrony in Communication Primitives

This page was built for publication: