MPG.eBooks - Table of Contents: Temporal Logic in Specification

Read Now

Bibliographic Details
Other Authors:	Banieqbal, Behnam (Editor), Barringer, Howard (Editor), Pnueli, Amir (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1989, 1989
Edition:	1st ed. 1989
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Algorithms Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/3-540-51803-7?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Table of Contents:

Comparing linear and branching time temporal logics
Interleaving set temporal logic
An expressive logic for a process algebra with silent actions
Temporal logic with fixed points
On the relation of programs and computations to models of temporal logic
Specification and verification of concurrent programs by ?-automata
MCTL — An extension of CTL for modular verification of concurrent systems
The model checking problem for concurrent systems with many similar processes
Unified verification theory
Specifying message passing systems requires extending temporal logic
Extending interval logic to real time systems
The prescription and description of state based systems
Enforcing nondeterminism via linear time temporal logic specifications using hiding
Specifying communicating systems with temporal logic
Abstract object types: A temporal perspective
Compositionality and modularity in process specification and design: A trace-state based approach
Using temporal logic for prototyping: The design of a lift controller
The declarative past and imperative future