scientific article

zbMath1011.68063MaRDI QIDQ3148335

Jan Friso Groote, Jos van Wamel, Mark B. van der Zwaag, Michel Reniers

Publication date: 22 May 2003

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

zbMATH Keywords

process algebra\(\mu\)CRL

Mathematics Subject Classification ID

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

Related Items (4)

On the expressiveness of choice quantification ⋮ SOS formats and meta-theory: 20 years after ⋮ Notions of bisimulation and congruence formats for SOS with data ⋮ The cones and foci proof technique for timed transition systems

This page was built for publication: