-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
- Genere: Libro
- Lingua: Inglese
- Editore: Springer Berlin Heidelberg
- Pubblicazione: 10/1989
- Edizione: 1989
Temporal Logic in Specification
banieqbal behnam (curatore); barringer howard (curatore); pnueli amir (curatore)
54,98 €
52,23 €
{{{disponibilita}}}
SOMMARIO
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.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9783540518037
- Collana: Lecture Notes in Computer Science
- Dimensioni: 235 x 155 mm Ø 1410 gr
- Formato: Brossura
- Illustration Notes: VIII, 452 p.
- Pagine Arabe: 452
- Pagine Romane: viii