scientific article; zbMATH DE number 3862426

MaRDI QIDQ3330495zbMATH OpenFDO

Authors Max Michel

Publication date 1984

zbMATH Keywords

languages of concurrent processeslinear temporal logicmachines as temporal operatorsnondeterministic sequential machines

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Automata and formal grammars in connection with logical questions (03D05) Theory of operating systems (68N25) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Recommendations

• Temporal algebra
• “Sometimes” and “not never” revisited
• An algebraic approach to temporal logic
• scientific article; zbMATH DE number 47403
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings

Cited in

(8)

• Algebraic derivation of until rules and application to timer verification
• Temporal logic and semidirect products: An effective characterization of the until hierarchy
• Connection between logical and algebraic approaches to concurrent systems
• On-the-fly emptiness check of transition-based Streett automata
• Temporal algebra
• A relational model for temporal logic
• Translation of semi-extended regular expressions using derivatives
• Translation of semi-extended regular expressions using linear forms

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 Q3330495)