Hans G. Kahn Boeken

Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979