Concurrency [electronic resource] : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings / A. Yonezawa, T. Ito (eds.)
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 re...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Corporate Author: | |
Other Authors: | , |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
Series: | Lecture notes in computer science ;
491. |
Subjects: |
MARC
LEADER | 00000cam a2200000xa 4500 | ||
---|---|---|---|
001 | b8028511 | ||
006 | m o d | ||
007 | cr ||||||||||| | ||
008 | 910226s1991 gw a ob 100 0 eng d | ||
005 | 20240418143215.3 | ||
020 | |a 9783540464525 |q (electronic bk.) | ||
020 | |a 3540464522 |q (electronic bk.) | ||
020 | |z 3540539328 |q (Germany) | ||
020 | |z 9783540539322 |q (Germany) | ||
020 | |z 0387539328 |q (U.S.) | ||
020 | |z 9780387539324 |q (U.S.) | ||
035 | |a (OCoLC)spr321301531 | ||
035 | |a (OCoLC)321301531 | ||
037 | |a spr10.1007/3-540-53932-8 | ||
040 | |a SCPER |b eng |e pn |c CUSER |d C$Q |d GW5XE |d OCLCF |d ITD |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ | ||
049 | |a GWRE | ||
050 | 4 | |a QA76.58 |b .C664 1991 | |
245 | 0 | 0 | |a Concurrency |h [electronic resource] : |b theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings / |c A. Yonezawa, T. Ito (eds.) |
260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1991. | ||
300 | |a 1 online resource (viii, 339 pages) : |b illustrations. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 491. | |
504 | |a Includes bibliographical references. | ||
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. | ||
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed Aug. 16, 2013) | |
650 | 0 | |a Parallel processing (Electronic computers) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008108874. | |
650 | 7 | |a Parallel processing (Electronic computers) |2 fast |0 (OCoLC)fst01052928. | |
655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
700 | 1 | |a Yonezawa, Akinori. |0 http://id.loc.gov/authorities/names/n82093101 |1 http://isni.org/isni/0000000117404405. | |
700 | 1 | |a Itō, T. |q (Takayasu), |d 1940- |0 http://id.loc.gov/authorities/names/n90646395 |1 http://isni.org/isni/0000000081773611. | |
711 | 2 | |a UK/Japan Workshop in Computer Science |n (2nd : |d 1989 : |c Wadham College, Oxford) | |
776 | 0 | 8 | |i Print version: |t Concurrency. |d Berlin ; New York : Springer-Verlag, ©1991 |z 3540539328 |w (DLC) 91011803 |w (OCoLC)23286938. |
830 | 0 | |a Lecture notes in computer science ; |v 491. |0 http://id.loc.gov/authorities/names/n42015162. | |
856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-53932-8 |z Full Text (via Springer) |
907 | |a .b80285119 |b 03-19-20 |c 06-12-15 | ||
998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
907 | |a .b80285119 |b 07-02-19 |c 06-12-15 | ||
944 | |a MARS - RDA ENRICHED | ||
907 | |a .b80285119 |b 07-06-17 |c 06-12-15 | ||
907 | |a .b80285119 |b 05-23-17 |c 06-12-15 | ||
915 | |a I | ||
956 | |a Springer e-books | ||
956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
956 | |a Computer Science | ||
956 | |a Springer e-books: Archive | ||
956 | |a Springer e-books: Archive; non English cataloging problem | ||
999 | f | f | |i cd2d448e-8682-593b-9e3a-7c3f611508bf |s 0bf7a361-2109-5ea3-958e-5297a25db9d7 |
952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.58 .C664 1991 |h Library of Congress classification |i Ebooks, Prospector |n 1 |