Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985] (Springer-Verlag, 1985)