Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 - Kahn G. (Springer-Verlag, 1979)