CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science)
暫譯: CONCUR '95 並發理論：第六屆國際會議，賓夕法尼亞州費城，美國，1995年8月21日至24日。會議錄（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1995-09-09
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 547
- ISBN: 3540602186
- ISBN-13: 9783540602187
-
相關分類:
程式語言、Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
商品描述(中文翻譯)
本書是第六屆國際併發理論會議（CONCUR '95）的會議紀錄，該會議於1995年8月在美國賓夕法尼亞州的費城舉行。本卷包含七篇由傑出研究者撰寫的邀請貢獻，以及由程序委員會從91篇提交的論文中選出的33篇經過審核的完整研究論文。這些文章的集合提供了自上次CONCUR會議以來，該研究領域發展的代表性概述。內容涵蓋模型檢查、移動過程、過程理論、真併發、過程代數、隨機自動機、即時系統、測試語義、可判定性結果、精煉理論以及線性時間邏輯等主題。
