Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 - Kahn, Gilles (Lecture notes in computer science, 1979)