Semantics for Concurrency: Proceedings Of The International Bcs-Facs Workshop, Sponsored By Logic For It (S.E.R.C.), 23-25 July 1990, University Of Leicester, Uk (Workshops In Computing)