The cones and foci proof technique for timed transition systems

DOI10.1016/S0020-0190(01)00215-0MaRDI QIDQ1607115zbMATH OpenOpenAlexFDO

Authors Mark B. van der Zwaag

Publication date 25 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(01)00215-0

zbMATH Keywords

timed transition systemstimed-branching bisimilarity of states

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal verification of timed systems using cones and foci
• scientific article; zbMATH DE number 1956518
• Analysis of timed systems using time-abstracting bisimulations
• Publication:4508304
• Cones and foci: A mechanical framework for protocol verification

Cites work

• scientific article; zbMATH DE number 1810494 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1267564 (Why is no real title available?)
• scientific article; zbMATH DE number 497653 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A timed model for communicating sequential processes
• Branching time and abstraction in bisimulation semantics
• Discrete time process algebra
• Formal verification of a leader election protocol in process algebra
• Process algebra for synchronous communication
• Real time process algebra
• The tree identify protocol of IEEE 1394 in \(\mu\)CRL

Cited in

(3)

• Cones and foci: A mechanical framework for protocol verification
• Focus points and convergent process operators: A proof strategy for protocol verification
• Formal verification of timed systems using cones and foci

This page was built for publication: The cones and foci proof technique for timed transition systems

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