scientific article; zbMATH DE number 1231597

zbMath0911.68054MaRDI QIDQ4222918

Thomas Gehrke, Arend Rensink

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#gehrkerensink

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

zbMATH Keywords

process calculusbisimulation equivalence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

Revisiting sequential composition in process calculi ⋮ Process algebra with strategic interleaving

Uses Software

• Facile

This page was built for publication: