Concurrency: Theory, Language, and Architecture: UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings

This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25—27, 1989. The volume is organized into four parts: — Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. — Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Ja...