scientific article; zbMATH DE number 1512608

zbMath0965.68063MaRDI QIDQ4508291

Anne Labroue, Béatrice Bérard, Philippe Schnoebelen

Publication date: 17 January 2001

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

zbMATH Keywords

performance equivalencetimed process algebra

Mathematics Subject Classification ID

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

Related Items

Timed Basic Parallel Processes, Undecidability of performance equivalence of Petri nets, The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes, Decidability of performance equivalence for basic parallel processes