Ebook: Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 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.

---

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 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.
Content:
Front Matter....Pages -
An introduction to modal and temporal logics for CCS....Pages 1-20
Some results on the ?-calculus....Pages 21-35
Analysing TM FS : A study of nondeterminism in real-time concurrency....Pages 36-63
Using the temporal logic RDL for design specifications....Pages 64-78
Logic of execution: An outline....Pages 79-90
Exception handling and real time features in an object-oriented concurrent language....Pages 91-109
Reuse of concurrent object descriptions....Pages 110-135
The computational field model for open distributed environments (extended abstract)....Pages 136-141
Concurrent programming in COB....Pages 142-156
A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64....Pages 157-172
An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism....Pages 173-209
Premature return — Another interpretation of the future construct — (An extended abstract)....Pages 210-214
Semantic specifications for the rewrite rule machine....Pages 215-234
Graph rewriting as a computational model....Pages 235-256
An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages....Pages 257-281
A hierarchical approach to hardware design....Pages 282-296
Transformational derivation of systolic arrays....Pages 297-311
Locally computable coding for unary operations....Pages 312-323
Overview of the workshop....Pages 325-328
Abstracts of talks....Pages 330-334
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
An introduction to modal and temporal logics for CCS....Pages 1-20
Some results on the ?-calculus....Pages 21-35
Analysing TM FS : A study of nondeterminism in real-time concurrency....Pages 36-63
Using the temporal logic RDL for design specifications....Pages 64-78
Logic of execution: An outline....Pages 79-90
Exception handling and real time features in an object-oriented concurrent language....Pages 91-109
Reuse of concurrent object descriptions....Pages 110-135
The computational field model for open distributed environments (extended abstract)....Pages 136-141
Concurrent programming in COB....Pages 142-156
A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64....Pages 157-172
An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism....Pages 173-209
Premature return — Another interpretation of the future construct — (An extended abstract)....Pages 210-214
Semantic specifications for the rewrite rule machine....Pages 215-234
Graph rewriting as a computational model....Pages 235-256
An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages....Pages 257-281
A hierarchical approach to hardware design....Pages 282-296
Transformational derivation of systolic arrays....Pages 297-311
Locally computable coding for unary operations....Pages 312-323
Overview of the workshop....Pages 325-328
Abstracts of talks....Pages 330-334
Back Matter....Pages -
....