scientific article; zbMATH DE number 4089533

MaRDI QIDQ3818306zbMATH OpenFDO

Authors Ron Koymans

Publication date 1989

zbMATH Keywords

distance function for time momentsfirst- order conditions over linear orderingsmetric superstructurenon- identity of possible worldspolymodal logicsspecifications of message passing systemsspecifications using formal logictemporal logictime critical systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)

Recommendations

• Specifying message passing and time-critical systems with temporal logic
• scientific article; zbMATH DE number 1318522
• scientific article; zbMATH DE number 1070625
• scientific article; zbMATH DE number 52331
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 4119598
• Specification and verification using temporal logics
• scientific article; zbMATH DE number 1377375
• Temporal logics for the specification of performance and reliability

Cited in

(13)

• Language in action
• Formal timing analysis of distributed systems
• Modal logic with names
• Expressibility of output equals input. Negative and positive results
• Refinement of events in the development of real-time distributed systems
• A deontic approach to database integrity
• Dealing with zero-time transitions in axiom systems.
• Taming logic
• Design of a PLC control program for a batch plant VHS case study 1
• scientific article; zbMATH DE number 3890718 (Why is no real title available?)
• scientific article; zbMATH DE number 1383328 (Why is no real title available?)
• An introduction to compositional methods for concurrency and their application to real-time.
• Specifying message passing and time-critical systems with temporal logic

This page was built for publication:

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