1 ... for Concurrency, held from 22 to 25 July 1990 at the University of Leicester, UK. The main aim of the workshop...