A temporal logic for real-time partial-ordering with named transactions
From MaRDI portal
Publication:5096355
DOI10.1007/3-540-59175-3_113zbMath1495.68142OpenAlexW2179496861MaRDI QIDQ5096355
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
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Time, clocks, and the ordering of events in a distributed system
- A really temporal logic
- A Graph-Theoretic Approach for Timing Analysis and its Implementation
- A variant of a recursively unsolvable problem
This page was built for publication: A temporal logic for real-time partial-ordering with named transactions
