scientific article; zbMATH DE number 1512608

MaRDI QIDQ4508291zbMATH OpenFDO

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

Publication date 17 January 2001

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)

Recommendations

• Decidability of performance equivalence for basic parallel processes
• Timing-sequence testing of parallel programs
• Timed Basic Parallel Processes
• Timing analysis of parallel software using abstract execution
• Mathematical Foundations of Computer Science 2003
• Parameterized verification of many identical probabilistic timed processes

Cited in

(9)

• On performance congruences for process algebras
• Timing-sequence testing of parallel programs
• Decidability of performance equivalence for basic parallel processes
• scientific article; zbMATH DE number 6708299 (Why is no real title available?)
• scientific article; zbMATH DE number 1927586 (Why is no real title available?)
• The expressive power of urgent, lazy and busy-waiting actions in timed processes
• Undecidability of performance equivalence of Petri nets
• Timed Basic Parallel Processes
• ``Closed interval process algebra versus ``interval process algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508291)