CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Lecture Notes in Computer Science

Concurrency: Theory, Language, and Architecture

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

Editors: Yonezawa, Akinori, Ito, Takayasu (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46452-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
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.

Table of contents (20 chapters)

Table of contents (20 chapters)
  • An introduction to modal and temporal logics for CCS

    Pages 1-20

    Stirling, Colin

  • Some results on the π-calculus

    Pages 21-35

    Walker, David

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

    Pages 36-63

    Reed, G. M. (et al.)

  • Using the temporal logic RDL for design specifications

    Pages 64-78

    Gabbay, Dov (et al.)

  • Logic of execution: An outline

    Pages 79-90

    Ito, Takayasu

Buy this book

eBook $74.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46452-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Concurrency: Theory, Language, and Architecture
Book Subtitle
UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings
Editors
  • Akinori Yonezawa
  • Takayasu Ito
Series Title
Lecture Notes in Computer Science
Series Volume
491
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46452-5
DOI
10.1007/3-540-53932-8
Softcover ISBN
978-3-540-53932-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 341
Number of Illustrations
14 b/w illustrations
Topics