Skip to main content
SpringerLink
Log in
Book cover

Concurrency: Theory, Language, and Architecture

UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Akinori Yonezawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Takayasu Ito
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 491)

Included in the following conference series:

Conference proceedings info: CONCURRENCY 1989.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. An introduction to modal and temporal logics for CCS

    • Colin Stirling
    Pages 1-20

  3. Some results on the π-calculus

    • David Walker
    Pages 21-35

  4. Analysing TM FS : A study of nondeterminism in real-time concurrency

    • G. M. Reed, A. W. Roscoe
    Pages 36-63

  5. Using the temporal logic RDL for design specifications

    • Dov Gabbay, Ian Hodkinson, Anthony Hunter
    Pages 64-78

  6. Logic of execution: An outline

    • Takayasu Ito
    Pages 79-90

  7. Exception handling and real time features in an object-oriented concurrent language

    • Yuuji Ichisugi, Akinori Yonezawa
    Pages 91-109

  8. Reuse of concurrent object descriptions

    • Etsuya Shibayama
    Pages 110-135

  9. The computational field model for open distributed environments (extended abstract)

    • Mario Tokoro, Kohei Honda
    Pages 136-141

  10. Concurrent programming in COB

    • Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura
    Pages 142-156

  11. A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64

    • Hidehiko Tanaka
    Pages 157-172

  12. An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism

    • Akikazu Takeuchi, Kazuko Takahashi
    Pages 173-209

  13. Premature return — Another interpretation of the future construct — (An extended abstract)

    • Taiichi Yuasa
    Pages 210-214

  14. Semantic specifications for the rewrite rule machine

    • Joseph A. Goguen
    Pages 215-234

  15. Graph rewriting as a computational model

    • D. L. McBurney, M. R. Sleep
    Pages 235-256

  16. An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages

    • Makoto Amamiya, Rin-ichiro Taniguchi
    Pages 257-281

  17. A hierarchical approach to hardware design

    • J. W. Sanders
    Pages 282-296

  18. Transformational derivation of systolic arrays

    • Norihiko Yoshida
    Pages 297-311

  19. Locally computable coding for unary operations

    • Hiroto Yasuura
    Pages 312-323

  20. Overview of the workshop

    Pages 325-328
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation