Broy, Manfred Transformation parallel ablaufender Programme. (German) Zbl 0461.68013 Institut für Informatik. Fakultät für Mathematik der Technischen Universität München. 158 S. (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 68N01 General topics in the theory of software 68Q25 Analysis of algorithms and problem complexity 68T99 Artificial intelligence Keywords:parallel programs; procedural non-determinism; critical sections; fairness × Cite Format Result Cite Review PDF