Detecting Temporal Logic Predicates on Distributed Computations

DOI10.1007/978-3-540-75142-7_32MaRDI QIDQ3523226zbMATH OpenOpenAlexFDO

Authors Vinit Ogale, Vijay K. Garg

Publication date 2 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75142-7_32

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Principles of Distributed Systems
• Detection of global predicates: techniques and their limitations
• Efficient abstraction algorithms for predicate detection
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Detecting global predicates in distributed systems with clocks

Cited in

(11)

• Biased clocks: a novel approach to improve the ability to perform predicate detection with \(O(1)\) clocks
• Efficient abstraction algorithms for predicate detection
• Modeling, analyzing and slicing periodic distributed computations
• On Detecting Regular Predicates in Distributed Systems
• scientific article; zbMATH DE number 4112564 (Why is no real title available?)
• scientific article; zbMATH DE number 1302050 (Why is no real title available?)
• scientific article; zbMATH DE number 7085031 (Why is no real title available?)
• Principles of Distributed Systems
• Decentralized runtime verification of message sequences in message-based systems
• Decentralized LTL enforcement
• Runtime verification of partially-synchronous distributed system

This page was built for publication: Detecting Temporal Logic Predicates on Distributed Computations

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