scientific article; zbMATH DE number 1956597

zbMath1031.68552MaRDI QIDQ4417943

Holger Hermanns, Christophe Joubert

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190425.htm

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 (2)

Equivalence checking 40 years after: a review of bisimulation tools ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

Uses Software

• GreatSPN
• GreatSPN 1.7
• SMART_
• Möbius
• CADP
• SPNP
• PEPA

This page was built for publication: