scientific article
From MaRDI portal
Publication:3330495
zbMath0542.68021MaRDI QIDQ3330495
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (1)
This page was built for publication: