Semantics of concurrent computation :proceedings of the international symposium, Eavian, France, July 2-4, 1979
