scientific article; zbMATH DE number 2081112

zbMath1052.68639MaRDI QIDQ4474226

Mogens Nielsen, Vladimiro Sassone, Jiří Srba

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2245/22450280.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

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Verification of Timed-Arc Petri Nets ⋮ Strong behavioral similarities in timed-arc Petri nets