Concurrency: Theory, Language, and Architecture (Paperback)

Akinori Yonezawa

ISBN 10: 3540539328 / ISBN 13: 9783540539322

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1991

About this Item

Paperback. 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. This volume is the proceedings of the UK/Japan Workshop on Concurrency. It is organised into parts on theoretical aspects of concurrency; object orientation and concurrent languages; parallel architectures and VLSI logic. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Seller Inventory # 9783540539322

Bibliographic Details

• Title: Concurrency: Theory, Language, and Architecture (Paperback)
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
• Publication Date: 1991
• Language: English
• ISBN 10: 3540539328
• ISBN 13: 9783540539322
• Binding: Paperback
• Condition: new

About this title

Synopsis

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.