Semantics of Concurrent ComputationProceedings of the International Symposium Evian, France, July 2-4, 19791979