View Semantics Of Concurrent Computation Proceedings Of The International Symposium Evian France July 24 1979