scientific article; zbMATH DE number 3862426

MaRDI QIDQ3330495zbMATH OpenFDO

Authors Max Michel

Publication date 1984

zbMATH Keywords

linear temporal logiclanguages of concurrent processesmachines as temporal operatorsnondeterministic sequential machines

Mathematics Subject Classification ID

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

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

(5)

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

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)