The benefits of relaxing punctuality
From MaRDI portal
Publication:5255815
DOI10.1145/112600.112613zbMath1314.68195OpenAlexW2059862967MaRDI QIDQ5255815
Rajeev Alur, Tomás Feder, Thomas A. Henzinger
Publication date: 19 June 2015
Published in: Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/6236
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items
Duration calculus: Logical foundations, Verification in continuous time by discrete reasoning, Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic, The quest for an adequate semantic basis of dense-time metric temporal logic, Unnamed Item, Interval logics and their decision procedures. II: A real-time interval logic, A real-time interval logic and its decision procedure, What good are digital clocks?, Model-checking Timed Temporal Logics, A symbolic decision procedure for cryptographic protocols with time stamps, A theory of timed automata
