scientific article; zbMATH DE number 1884414

zbMath1007.68518MaRDI QIDQ4798036

Holger Hermanns, Ric Klaren, Pedro R. D'Argenio, Joost-Pieter Katoen

Publication date: 18 March 2003

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Revisiting sequential composition in process calculi ⋮ MoDeST ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ A theory of stochastic systems. II: Process algebra

Uses Software

• E-LOTOS
• Möbius
• Uppaal