scientific article; zbMATH DE number 3862426

zbMATH Open0542.68021MaRDI QIDQ3330495FDOQ3330495

Authors: Max Michel 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

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)