Semantics of sequential and parallel programs /
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | English German |
| Publicerad: |
London ; New York :
Prentice Hall,
1996.
|
| Serie: | Prentice-Hall international series in computer science
|
| Ämnen: |
Innehållsförteckning:
- 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.