Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings by Behnam BanieqbalTemporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings by Behnam Banieqbal

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

EditorBehnam Banieqbal, Howard Barringer, Amir Pnueli

Paperback | October 11, 1989

Pricing and Purchase Info

$167.95

Earn 840 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, ProceedingsFormat:PaperbackDimensions:454 pagesPublished:October 11, 1989Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540518037

ISBN - 13:9783540518037

Look for similar items by category:

Reviews

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.