Abstract is missing.
- Comparing Linear and Branching Time Temporal LogicsColin Stirling. 1-20
- Interleaving Set Temporal LogicShmuel Katz, Doron Peled. 21-43
- An Expressive Logic for a Process Algebra with Silent ActionsSusanne Graf, Joseph Sifakis. 44-61
- Temporal Logic with Fixed PointsBehnam Banieqbal, Howard Barringer. 62-74
- On the Relation of Programs and Computations to Models of Temporal LogicPierre Wolper. 75-123
- Specification and Verification of Concurrent Programs by forall-AutomataZohar Manna, Amir Pnueli. 124-164
- MCTL - An Extension of CTL for Modular Verification of Concurrent SystemsBernhard Josko. 165-187
- The Model Checking Problem for Concurrent Systems with Many Similar ProcessesEdmund M. Clarke, Orna Grumberg. 188-201
- Unified Verification TheoryMoshe Y. Vardi. 202-212
- Specifying Message Passing Systems Requires Extending Temporal LogicRon Koymans. 213-223
- Extending Interval Logic to Real Time SystemsP. M. Melliar-Smith. 224-242
- The Prescription and Description of State Based SystemsSamit Khosla, T. S. E. Maibaum. 243-294
- Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using HidingRuurd Kuiper. 295-303
- Specifying Communicating Systems with Temporal LogicZhou Chaochen. 304-323
- Abstract Object Types: A Temporal PerspectiveAmílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich. 324-350
- Compositionality and Modularity in Process Specification and Design: A Trace-State Based ApproachJob Zwiers, Willem P. de Roever. 351-374
- Using Temporal Logic for Prototyping: The Design of a Lift ControllerRoger Hale. 375-408
- The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive SystemsDov M. Gabbay. 409-448