Publication:3330495

zbMath0542.68021MaRDI QIDQ3330495

Max Michel

Publication date: 1984

zbMATH Keywords

linear temporal logic; languages of concurrent processes; machines as temporal operators; nondeterministic sequential machines

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q65: Abstract data types; algebraic specification

03C80: Logic with extra quantifiers and operators

68N25: Theory of operating systems

Related Items

On-the-fly Emptiness Check of Transition-Based Streett Automata