On performance congruences for process algebras

DOI10.1006/INCO.1998.2726MaRDI QIDQ1275822zbMATH OpenOpenAlexFDO

Authors Flavio Corradini

Publication date 13 January 1999

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1998.2726

zbMATH Keywords

busy waitingperformance congruenceperformance equivalence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A theory of processes with durational actions
• Performance measure sensitive congruences for Markovian process algebras
• On the coarsest congruence within global-clock-bounded equivalence
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 1512608

Cites work

• A parametric approach to localities
• A process algebra for timed systems
• A theory of processes with durational actions
• A theory of processes with localities
• A timed model for communicating sequential processes
• An efficiency preorder for processes
• Barbed bisimulation
• Dynamic matrices and the cost analysis of concurrent programs
• scientific article; zbMATH DE number 1001709 (Why is no real title available?)
• scientific article; zbMATH DE number 3958739 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4050970 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1231595 (Why is no real title available?)
• Performance preorder and competitive equivalence
• Performance preorder: ordering processes with respect to speed
• Real time process algebra
• Symbolic bisimulations
• Testing equivalences for processes
• Three Partition Refinement Algorithms
• Timed testing of concurrent systems
• Timing and causality in process algebra

Cited in

(15)

• On the coarsest congruence within global-clock-bounded equivalence
• Performance measure sensitive congruences for Markovian process algebras
• Absolute versus relative time in process algebras.
• Decidability of performance equivalence for basic parallel processes
• scientific article; zbMATH DE number 1973974 (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
• Synchronous message passing: on the relation between bisimulation and refusal equivalence
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 2242598 (Why is no real title available?)
• On testing urgency through laziness over processes with durational actions
• ``Closed interval process algebra versus ``interval process algebra
• On the semantics of durational actions
• A theory of processes with durational actions
• Performance preorder and competitive equivalence

This page was built for publication: On performance congruences for process algebras

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