scientific article; zbMATH DE number 1361126

zbMATH Open0940.68091MaRDI QIDQ4270061

Gianluigi Zavattaro, Frank S. de Boer

Publication date: 10 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asynchronous communication

Mathematics Subject Classification ID

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

Related Items (3)

Generic transforms on incomplete specifications of asynchronous interfaces ⋮ A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes ⋮ Unnamed Item

This page was built for publication: