Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Comparing linear and branching time temporal logics....Pages 1-20
Interleaving set temporal logic....Pages 21-43
An expressive logic for a process algebra with silent actions....Pages 44-61
Temporal logic with fixed points....Pages 62-74
On the relation of programs and computations to models of temporal logic....Pages 75-123
Specification and verification of concurrent programs by ∀-automata....Pages 124-164
MCTL — An extension of CTL for modular verification of concurrent systems....Pages 165-187
The model checking problem for concurrent systems with many similar processes....Pages 188-201
Unified verification theory....Pages 202-212
Specifying message passing systems requires extending temporal logic....Pages 213-223
Extending interval logic to real time systems....Pages 224-242
The prescription and description of state based systems....Pages 243-294
Enforcing nondeterminism via linear time temporal logic specifications using hiding....Pages 295-303
Specifying communicating systems with temporal logic....Pages 304-323
Abstract object types: A temporal perspective....Pages 324-350
Compositionality and modularity in process specification and design: A trace-state based approach....Pages 351-374
Using temporal logic for prototyping: The design of a lift controller....Pages 375-408
The declarative past and imperative future....Pages 409-448