Enviar aquest missatge de text: CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.