search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Banff Higher Order Workshop

1995199619951996

Keyphrases

Publications

volume 1043, 1996

Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings) Banff Higher Order Workshop 1043 (1996)

1995

E. Allen Emerson
Automated Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop (1995)
Yoram Hirshfeld, Faron Moller
Decidability Results in Automata and Process Theory. Banff Higher Order Workshop (1995)
Moshe Y. Vardi
An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop (1995)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop (1995)
Colin Stirling
Modal and Temporal Logics for Processes. Banff Higher Order Workshop (1995)