Temporal logic and applications—a tutorial

DOI10.1016/0169-7552(92)90109-4MaRDI QIDQ4017600zbMATH OpenOpenAlexFDO

Authors R. Gotzhein

Publication date 16 January 1993

Published in Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0169-7552(92)90109-4

zbMATH Keywords

verificationspecificationlinear timeprotocolsbranching timemodel-checkinginterval logicconcurrent systemsunreliable systemscommunication service

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Temporal and dynamic logic
• Temporal logic and state systems
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 3982506
• scientific article; zbMATH DE number 3876567

Cited in

(16)

• scientific article; zbMATH DE number 194496 (Why is no real title available?)
• Design and analysis of dynamic leader election protocols in broadcast networks
• Temporal logics in computer science. Finite-state systems
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• scientific article; zbMATH DE number 4119600 (Why is no real title available?)
• scientific article; zbMATH DE number 4081516 (Why is no real title available?)
• Formal specification and verification
• Temporal Logic with Capacity Constraints
• An Extended Temporal Logic for CSCW
• scientific article; zbMATH DE number 3876567 (Why is no real title available?)
• Temporal normal form for linear temporal logic formulae
• Guaranteed global performance through local coordinations
• Temporal and dynamic logic
• scientific article; zbMATH DE number 139996 (Why is no real title available?)
• scientific article; zbMATH DE number 4035111 (Why is no real title available?)
• Interpreting message flow graphs

This page was built for publication: Temporal logic and applications—a tutorial

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