International Symposium on Semantics of Concurrent Computation (1979 Évian-les-Bains, France)