8. Banff Higher Order Workshop 1995

Faron Moller, Graham M. Birtwistle (Eds.): Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings). Lecture Notes in Computer Science 1043 Springer 1996, ISBN 3-540-60915-6

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan:
Specification Structures and Propositions-as-Types for Concurrency. 5-40
E. Allen Emerson:
Automated Temporal Reasoning about Reactive Systems. 41-101
Yoram Hirshfeld, Faron Moller:
Decidability Results in Automata and Process Theory. 102-148
Colin Stirling:
Modal and Temporal Logics for Processes. 149-237
Moshe Y. Vardi:
An Automata-Theoretic Approach to Linear Temporal Logic. 238-266

Last update Sat May 18 18:09:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page