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 BibTeX

@proceedings{DBLP:conf/banff/1995,
  editor    = {Faron Moller and
               Graham M. Birtwistle},
  title     = {Logics for Concurrency - Structure versus Automata (8th Banff
               Higher Order Workshop, August 27 - September 3, 1995, Proceedings)},
  booktitle = {Banff Higher Order Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1043},
  year      = {1996},
  isbn      = {3-540-60915-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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