|
|
|
|
| LEADER |
03662nmm a2200409 u 4500 |
| 001 |
EB000657168 |
| 003 |
EBX01000000000000000510250 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783540464525
|
| 100 |
1 |
|
|a Yonezawa, Akinori
|e [editor]
|
| 245 |
0 |
0 |
|a Concurrency: Theory, Language, and Architecture
|h Elektronische Ressource
|b UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings
|c edited by Akinori Yonezawa, Takayasu Ito
|
| 250 |
|
|
|a 1st ed. 1991
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1991, 1991
|
| 300 |
|
|
|a VIII, 341 p. 14 illus
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Computer systems
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Programming Techniques
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Computer System Implementation
|
| 653 |
|
|
|a Computer programming
|
| 653 |
|
|
|a Processor Architectures
|
| 653 |
|
|
|a Microprocessors
|
| 653 |
|
|
|a Theory of Computation
|
| 653 |
|
|
|a Computer architecture
|
| 700 |
1 |
|
|a Ito, Takayasu
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science
|
| 028 |
5 |
0 |
|a 10.1007/3-540-53932-8
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-53932-8?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004.2
|
| 520 |
|
|
|a 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
|