Concurrency: Theory, Language, and Architecture [[electronic resource] ] : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings / / edited by Akinori Yonezawa, Takayasu Ito

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
• Edizione: 1st ed. 1991.
• Descrizione fisica: 1 online resource (VIII, 341 p. 14 illus.)
• Disciplina: 003.3
• Soggetto topico: Architecture, Computer; Computer programming; Computers; Computer logic; Microprocessors; Programming languages (Electronic computers); Computer System Implementation; Programming Techniques; Computation by Abstract Devices; Logics and Meanings of Programs; Processor Architectures; Programming Languages, Compilers, Interpreters
• Persona (resp. second.): YonezawaAkinori; ItoTakayasu
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Concurrency: Theory, Language, and Architecture
• ISBN: 3-540-46452-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465414303316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 491