Hans G. Kahn Bücher

Semantics of Concurrent Computation

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