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

Brossura

ISBN 10: 3662178249 ISBN 13: 9783662178249

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 3662178249
• ISBN 13: 9783662178249
• Rilegatura: Paperback
• Lingua: Inglese
• Contatto del produttore: non disponibile