Logics for Concurrency: Structure Versus Automata
Faron Moller · Medical Entomology and Zoology · 1996
Specification Structures and propositions-as-types for concurrency.- Automated temporal reasoning about reactive systems.- Decidability results in automata and process theory.- Modal and temporal logics for processes.- An automata-theoretic approach to linear temporal logic.