Publication:4207567
From MaRDI portal
zbMath0688.68019MaRDI QIDQ4207567
Orna Grumberg, Robert Kurshan, Edmund M. Clarke
Publication date: 1989
68Q45: Formal languages and automata
68N25: Theory of operating systems
68-04: Software, source code, etc. for problems pertaining to computer science
Related Items
Branching versus linear logics yet again, CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus, Axiomatising extended computation tree logic, TTL : a formalism to describe local and global properties of distributed systems