TY - BOOK ID - 2410614 TI - Concurrency: Theory, language and architecture. Workshop, Oxford, UK, September 1989. Proceedings AU - Yonezawa, Akinori AU - Ito, T. PY - 1991 VL - vol 491 SN - 3540539328 0387539328 3540464522 PB - Berlin : Springer-Verlag, DB - UniCat KW - Parallel processing (Electronic computers) KW - -681.3*D1 KW - Congresses KW - Programming techniques--See also {681.3*E} KW - 681.3*D1 Programming techniques--See also {681.3*E} KW - 681.3*D1 KW - Parallel processing (Computer science) KW - Computer network architectures. KW - Computer science. KW - Logic design. KW - Computer System Implementation. KW - Programming Techniques. KW - Computation by Abstract Devices. KW - Logics and Meanings of Programs. KW - Processor Architectures. KW - Programming Languages, Compilers, Interpreters. KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science UR - https://www.unicat.be/uniCat?func=search&query=sysid:2410614 AB - 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. ER -