Semantics of Concurrent Computation

Semantics of Concurrent Computation 1979: Evian, France