Semantics Of Sequential And Parallel Programs
Eike Best · Medical Entomology and Zoology · 1996
1. Introduction. 2. Basic Mathematical Concepts. 3. Semantics of Sequential Programs. 4. Sequential vs Parallel Systems. 5. Control Programs and Petri Nets. 6. Operational Semantics and Fairness. 7. Programs with Shared Data. 8. Communicating Programs. 9. Some Proofs and Solutions.