The temporal logic of reactive and concurrent systems

Título:

The temporal logic of reactive and concurrent systems: specification

Autor:

Manna, Zohar

Colaboradores:

Pnuieli, Amir

Temas:

SISTEMAS REACTIVOS ; MODELO CONCURRENTE ; 

Edición:

1st ed.

Localización electrónica:

Descripción física:

xi, 427 p. ; 24 cm.

ISBN:

0387976647

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Nueva York : Springer-Verlag, 1991

Puede solicitar más fácilmente el ejemplar con: C.3 MAN

Part I: Models of concurrency.
Chapter 1: Basic models.
Chapter 2: Modeling real concurrency.
Part II: Specifications.
Chapter 3: Temporal logic.
Chapter 4: Properties of programs.