Semantics of sequential and parallel programs /
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | English German |
| Udgivet: |
London ; New York :
Prentice Hall,
1996.
|
| Serier: | Prentice-Hall international series in computer science
|
| Fag: |
Indholdsfortegnelse:
- 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.