Table of contents

  1. Front Matter
  2. David Walker
    Pages 21-35
  3. Dov Gabbay, Ian Hodkinson, Anthony Hunter
    Pages 64-78
  4. Takayasu Ito
    Pages 79-90
  5. Etsuya Shibayama
    Pages 110-135
  6. Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura
    Pages 142-156
  7. D. L. McBurney, M. R. Sleep
    Pages 235-256
  8. J. W. Sanders
    Pages 282-296
  9. Norihiko Yoshida
    Pages 297-311
  10. Hiroto Yasuura
    Pages 312-323
  11. Pages 325-328
  12. Pages 330-334
  13. Back Matter

About these 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 Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.


Lisp Programmiersprache Programming language Theorie VLSI computer architecture concurrency logic object-oriented programming theory

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53932-2
  • Online ISBN 978-3-540-46452-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment