scientific article; zbMATH DE number 2102747

zbMath1046.68614MaRDI QIDQ4818834

W. O. David Griffioen, D. J. B. Bosscher

Publication date: 24 September 2004

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

Computable processes and bisimulation equivalence, Bisimulation collapse and the process taxonomy