CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / - Baeten, J. C. M.; Klop, J. W. (Springer-Verlag,, 1990)