scientific article; zbMATH DE number 1759408

zbMath0996.68521MaRDI QIDQ4536357

Marcello M. Bonsangue, Frank S. de Boer

Publication date: 4 November 2002

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• MANIFOLD

This page was built for publication: