Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1991
|
Subjects: | Computer science., Microprocessors., Architecture, Computer., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Computer Science., Computer System Implementation., Programming Techniques., Computation by Abstract Devices., Logics and Meanings of Programs., Processor Architectures., Programming Languages, Compilers, Interpreters., |
Online Access: | http://dx.doi.org/10.1007/3-540-53932-8 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:178856 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1788562018-07-30T22:58:29ZConcurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / Yonezawa, Akinori. editor. Ito, Takayasu. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1991.engThis 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.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.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.Computer science.Microprocessors.Architecture, Computer.Computer programming.Programming languages (Electronic computers).Computers.Computer logic.Computer Science.Computer System Implementation.Programming Techniques.Computation by Abstract Devices.Logics and Meanings of Programs.Processor Architectures.Programming Languages, Compilers, Interpreters.Springer eBookshttp://dx.doi.org/10.1007/3-540-53932-8URN:ISBN:9783540464525 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Microprocessors. Architecture, Computer. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Computer Science. Computer System Implementation. Programming Techniques. Computation by Abstract Devices. Logics and Meanings of Programs. Processor Architectures. Programming Languages, Compilers, Interpreters. Computer science. Microprocessors. Architecture, Computer. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Computer Science. Computer System Implementation. Programming Techniques. Computation by Abstract Devices. Logics and Meanings of Programs. Processor Architectures. Programming Languages, Compilers, Interpreters. |
spellingShingle |
Computer science. Microprocessors. Architecture, Computer. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Computer Science. Computer System Implementation. Programming Techniques. Computation by Abstract Devices. Logics and Meanings of Programs. Processor Architectures. Programming Languages, Compilers, Interpreters. Computer science. Microprocessors. Architecture, Computer. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Computer Science. Computer System Implementation. Programming Techniques. Computation by Abstract Devices. Logics and Meanings of Programs. Processor Architectures. Programming Languages, Compilers, Interpreters. Yonezawa, Akinori. editor. Ito, Takayasu. editor. SpringerLink (Online service) Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
description |
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. |
format |
Texto |
topic_facet |
Computer science. Microprocessors. Architecture, Computer. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Computer Science. Computer System Implementation. Programming Techniques. Computation by Abstract Devices. Logics and Meanings of Programs. Processor Architectures. Programming Languages, Compilers, Interpreters. |
author |
Yonezawa, Akinori. editor. Ito, Takayasu. editor. SpringerLink (Online service) |
author_facet |
Yonezawa, Akinori. editor. Ito, Takayasu. editor. SpringerLink (Online service) |
author_sort |
Yonezawa, Akinori. editor. |
title |
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
title_short |
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
title_full |
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
title_fullStr |
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
title_full_unstemmed |
Concurrency: Theory, Language, and Architecture [electronic resource] : UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings / |
title_sort |
concurrency: theory, language, and architecture [electronic resource] : uk/japan workshop oxford, uk, september 25–27, 1989 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1991 |
url |
http://dx.doi.org/10.1007/3-540-53932-8 |
work_keys_str_mv |
AT yonezawaakinorieditor concurrencytheorylanguageandarchitectureelectronicresourceukjapanworkshopoxfordukseptember25271989proceedings AT itotakayasueditor concurrencytheorylanguageandarchitectureelectronicresourceukjapanworkshopoxfordukseptember25271989proceedings AT springerlinkonlineservice concurrencytheorylanguageandarchitectureelectronicresourceukjapanworkshopoxfordukseptember25271989proceedings |
_version_ |
1756264469008220160 |