Temporal Logic in Specification 1987: Altrincham, UK

Behnam Banieqbal, Howard Barringer, Amir Pnueli (Eds.): Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 398 Springer 1989, ISBN 3-540-51803-7 BibTeX

@proceedings{DBLP:conf/tls/1987,
  editor    = {Behnam Banieqbal and
               Howard Barringer and
               Amir Pnueli},
  title     = {Temporal Logic in Specification, Altrincham, UK, April 8-10,
               1987, Proceedings},
  booktitle = {Temporal Logic in Specification},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {398},
  year      = {1989},
  isbn      = {3-540-51803-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Logic

Colin Stirling: Comparing Linear and Branching Time Temporal Logics. 1-20 BibTeX
Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. 21-43 BibTeX
Susanne Graf, Joseph Sifakis: An Expressive Logic for a Process Algebra with Silent Actions. 44-61 BibTeX
Behnam Banieqbal, Howard Barringer: Temporal Logic with Fixed Points. 62-74 BibTeX

Automata, Theorem Proving and Model Checking

Pierre Wolper: On the Relation of Programs and Computations to Models of Temporal Logic. 75-123 BibTeX
Zohar Manna, Amir Pnueli: Specification and Verification of Concurrent Programs by forall-Automata. 124-164 BibTeX
Bernhard Josko: MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. 165-187 BibTeX
Edmund M. Clarke, Orna Grumberg: The Model Checking Problem for Concurrent Systems with Many Similar Processes. 188-201 BibTeX
Moshe Y. Vardi: Unified Verification Theory. 202-212 BibTeX

Specification

Ron Koymans: Specifying Message Passing Systems Requires Extending Temporal Logic. 213-223 BibTeX
P. M. Melliar-Smith: Extending Interval Logic to Real Time Systems. 224-242 BibTeX
Samit Khosla, T. S. E. Maibaum: The Prescription and Description of State Based Systems. 243-294 BibTeX
Ruurd Kuiper: Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. 295-303 BibTeX
Zhou Chaochen: Specifying Communicating Systems with Temporal Logic. 304-323 BibTeX
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich: Abstract Object Types: A Temporal Perspective. 324-350 BibTeX
Job Zwiers, Willem P. de Roever: Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. 351-374 BibTeX

Execution

Roger Hale: Using Temporal Logic for Prototyping: The Design of a Lift Controller. 375-408 BibTeX
Dov M. Gabbay: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. 409-448 BibTeX