Time Unbalanced Partial Order

DOI10.1007/11759744_11MaRDI QIDQ3434608zbMATH OpenOpenAlexFDO

Authors Doron Peled, Hongyang Qu

Publication date 2 May 2007

Published in Formal Approaches to Software Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11759744_11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed testing of concurrent systems
• Timed testing of concurrent systems
• Performance preorder: ordering processes with respect to speed
• Building bridges between sets of partial orders
• Proving partial order properties

Cites work

• Automatic generation of path conditions for concurrent timed systems
• ENFORCING CONCURRENT TEMPORAL BEHAVIORS
• Linear parametric model checking of timed automata
• Parametric real-time reasoning
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Time Unbalanced Partial Order

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