Temporal Logic in Specification 1987: Altrincham, UK

@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
• Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. 21-43
• Susanne Graf, Joseph Sifakis: An Expressive Logic for a Process Algebra with Silent Actions. 44-61
• Behnam Banieqbal, Howard Barringer: Temporal Logic with Fixed Points. 62-74

Automata, Theorem Proving and Model Checking

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

Specification

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

Execution

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