Verification of sequential and concurrent programs /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Springer-Verlag,
1991
|
| Edición: | 1st. ed. |
| Colección: | Texts and monographs in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- In the beginning
- Introduction
- Preliminaries
- Sequential programs
- Deterministic programs
- Nondeterministic programs
- Parallel programs
- Disjoint parallel programs
- Parallel programs with shared variables
- Parallel programs with synchronization
- Distributed programs.