A Decade of Concurrency: Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)
暫譯: 十年的併發：反思與展望。REX 學校/研討會，荷蘭諾德維克哈特，1993 年 6 月 1 - 4 日。會議紀錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1994-06-28
- 售價: $4,600
- 貴賓價: 9.5 折 $4,370
- 語言: 英文
- 頁數: 692
- 裝訂: Paperback
- ISBN: 3540580433
- ISBN-13: 9783540580430
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
商品描述(中文翻譯)
REX 學校/研討會「十年的並行性 - 反思與展望」是三個荷蘭研究團隊在並行性基礎上合作十年的最後一個活動。自1983年成立以來，該項目的目標一直是促進語法、語義和證明理論領域的形式方法之間的交叉融合，以增進對平行計算本質的理解。本卷中所呈現的材料是由講師（及其合著者）在會議結束後準備的。總體而言，本卷構成了對並行性研究活動的全面前沿報告。
