TITLE : Observational congruences for concurrency models AUTHOR(S) : Degano P., De Nicola, Montanari U. TYPE : Conference article YEAR : 1985 CODE : 420335 *** DO NOT EDIT THIS FILE ***