Hans G. Kahn Libri

Semantics of Concurrent Computation

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