Willkommen, schön sind Sie da!
Logo Ex Libris

Concurrency: Theory, Language, and Architecture

  • Kartonierter Einband
  • 352 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
Alle Bewertungen ansehen
This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Works... Weiterlesen
115.00 CHF 92.00
Sie sparen CHF 23.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich


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 organized into parts on theoretical aspects of concurrency; object orientation and concurrent languages; parallel architectures and VLSI logic.

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.


Titel: Concurrency: Theory, Language, and Architecture
Untertitel: UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings
EAN: 9783540539322
ISBN: 3540539328
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 352
Gewicht: 608g
Größe: H244mm x B170mm x T18mm
Jahr: 1991
Untertitel: Englisch
Auflage: 1991

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"