Semantics of concurrent computation : proceedings of the international symposium : EVIAN, FRANCE, JULY 2-4, 1979. - Kahn, Gilles (Springer Verlag, 1979)