Semantics of sequential and parallel programs /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English German |
| Published: |
London ; New York :
Prentice Hall,
1996.
|
| Series: | Prentice-Hall international series in computer science
|
| Subjects: |
Table of Contents:
- 1. Introduction
- 2. Basic Mathematical Concepts
- 3. Semantics of Sequential Programs
- 4. Sequential Versus Parallel Systems
- 5. Control Programs and Petri Nets
- 6. Operational Semantics and Fairness
- 7. Programs with Shared Data
- 8. Communicating Programs
- A: Some Proofs and Solutions.