A temporal logic for real-time partial-ordering with named transactions

DOI10.1007/3-540-59175-3_113MaRDI QIDQ5096355zbMATH OpenOpenAlexFDO

Authors Farn Wang

Publication date 16 August 2022

Published in LATIN '95: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59175-3_113

Mathematics Subject Classification ID

Temporal logic (03B44) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A temporal logic for real-time partial ordering with named transactions
• scientific article; zbMATH DE number 218548
• A really temporal logic
• Formal timing analysis of distributed systems
• Real-time logics: Complexity and expressiveness

Cites work

• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• A really temporal logic
• A variant of a recursively unsolvable problem
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 43081 (Why is no real title available?)
• Time, clocks, and the ordering of events in a distributed system

Cited in

(2)

• A temporal logic for real-time partial ordering with named transactions
• scientific article; zbMATH DE number 1104397 (Why is no real title available?)

This page was built for publication: A temporal logic for real-time partial-ordering with named transactions

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