DPhil (auth.)

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

Marta Zofia Kwiatkowska BSc,MSc,PhD,Michael William Shields BA,PhD,Richard Monro Thomas MA,MSc,DPhil (auth.)