Concurrency: Theory, Language, and Architecture: Uk/Japan Workshop, Oxford, Uk, September 25-27, 1989, Proceedings

ISBN-13: 9783540539322 / Angielski / Miękka / 1991 / 341 str.

Akinori Yonezawa; Takayasu Ito

Opis

This volume contains the proceedings of a workshop on concurrency. The first section features papers on theoretical aspects, which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. The next section concentrates on object orientation and concurrent languages, and reflects major research activities taking place in Japan. The languages presented include extensions of C, PROLOG and LISP as well as object-based concurrent languages. The text then focuses on parallel architectures and VLSI logic, including articles on rewrite rule machines, graph rewriting machines and dataflow architecture.

Spis treści

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.