Concurrency: Theory, Language, and Architecture
Editat de Akinori Yonezawa, Takayasu Itoen Limba Engleză Paperback – 10 apr 1991
Preț: 327.42 lei
Preț vechi: 409.27 lei
-20%
Puncte Express: 491
Carte tipărită la comandă
Livrare economică 06-20 iunie
Specificații
ISBN-13: 9783540539322
ISBN-10: 3540539328
Pagini: 352
Ilustrații: VIII, 341 p. 14 illus.
Dimensiuni: 170 x 244 x 20 mm
Greutate: 0.61 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540539328
Pagini: 352
Ilustrații: VIII, 341 p. 14 illus.
Dimensiuni: 170 x 244 x 20 mm
Greutate: 0.61 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.