scientific article
From MaRDI portal
Publication:3330495
zbMATH Open0542.68021MaRDI QIDQ3330495
Publication date: 1984
Title of this publication is not available (Why is that?)
linear temporal logiclanguages of concurrent processesmachines as temporal operatorsnondeterministic sequential machines
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Logic with extra quantifiers and operators (03C80) Theory of operating systems (68N25)
Related Items (2)
Translation of semi-extended regular expressions using derivatives ⋮ On-the-fly Emptiness Check of Transition-Based Streett Automata
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)
