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

Behnam Banieqbal (u. a.)

ISBN 10: 3540518037 / ISBN 13: 9783540518037

Published by Springer, 1989

About this Item

Temporal Logic in Specification | Altrincham, UK, April 8-10, 1987, Proceedings | Behnam Banieqbal (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540518037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 102141762

Bibliographic Details

• Title: Temporal Logic in Specification | Altrincham, UK, April 8-10, 1987, Proceedings
• Publisher: Springer
• Publication Date: 1989
• Language: English
• ISBN 10: 3540518037
• ISBN 13: 9783540518037
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 25D millimeters 235 millimeters width by 155 millimeters height by 25 millimeters depth
• Weight: 692 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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 A temporal perspective.- Compositionality and modularity in process specification and A trace-state based approach.- Using temporal logic for The design of a lift controller.- The declarative past and imperative future.