Books of 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

Published on: 1990

Unordered Computer Science and Theory English

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers …

Concurrency Semantics Workshop BCS-FACS Proceedings

Page 1 of 1