Detecting Temporal Logic Predicates on Distributed Computations

DOI10.1007/978-3-540-75142-7_32zbMath1145.68379OpenAlexW1578211237MaRDI QIDQ3523226

Vijay K. Garg, Vinit Ogale

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

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

Related Items (3)

Modeling, analyzing and slicing periodic distributed computations ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Efficient abstraction algorithms for predicate detection

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