Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 491)
Included in the following conference series:
Conference proceedings info: CONCURRENCY 1989.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (20 papers)
-
Front Matter
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
DOI: https://doi.org/10.1007/3-540-53932-8
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-53932-2Published: 10 April 1991
eBook ISBN: 978-3-540-46452-5Published: 01 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 341
Number of Illustrations: 14 b/w illustrations
Topics: Computer System Implementation, Programming Techniques, Computation by Abstract Devices, Logics and Meanings of Programs, Processor Architectures, Programming Languages, Compilers, Interpreters