Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings

این جلد مجموعه‌ای از مقالات درباره موضوعات متمرکز بر همزمانی است که بر اساس کار تحقیقاتی ارائه شده در کارگاه آموزشی بریتانیا/ژاپن در کالج وادهام، آکسفورد، 25 تا 27 سپتامبر 1989 برگزار شد. این جلد در چهار بخش تنظیم شده است: - مقالاتی در مورد جنبه های نظری همزمانی که منعکس کننده فعالیت های تحقیقاتی قوی در انگلستان است، از جمله نظریه های CCS و منطق زمانی RDL. - مقالاتی در مورد شی گرایی و زبان های همزمان که منعکس کننده فعالیت های تحقیقاتی عمده در زمینه همزمانی در ژاپن هستند. زبان های ارائه شده شامل پسوندهای C، Prolog و Lisp و همچنین زبان های همزمان مبتنی بر شی هستند. - مقالاتی در مورد معماری های موازی و منطق VLSI، از جمله یک ماشین قانون بازنویسی، یک ماشین بازنویسی نمودار و یک معماری جریان داده. - مروری بر کارگاه شامل چکیده صحبت ها و لیست شرکت کنندگان. ضمیمه گزارش مختصری از اولین کارگاه آموزشی بریتانیا/ژاپن در علوم کامپیوتر، که در سندای، ژاپن، 6-9 ژوئیه، 1987 برگزار شد، ارائه می دهد.

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.