You are about to access our book library "Semantics of concurrent computation: Proceedings of the international symposium, Évian, France, July 2-4, 1979 (Lecture notes in computer science) full version" .