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 re...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991, 1991
|
Edition: | 1st ed. 1991 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- An introduction to modal and temporal logics for CCS
- Some results on the ?-calculus
- Analysing TM FS : A study of nondeterminism in real-time concurrency
- Using the temporal logic RDL for design specifications
- Logic of execution: An outline
- Exception handling and real time features in an object-oriented concurrent language
- Reuse of concurrent object descriptions
- The computational field model for open distributed environments (extended abstract)
- Concurrent programming in COB
- A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64
- An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism
- Premature return — Another interpretation of the future construct — (An extended abstract)
- Semantic specifications for the rewrite rule machine
- Graph rewriting as a computational model
- An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages
- A hierarchical approach to hardware design
- Transformational derivation of systolic arrays
- Locally computable coding for unary operations
- Overview of the workshop
- Abstracts of talks