A brief history of process algebra
A brief history of process algebra
复制标题
DOI：
10.1016/j.tcs.2004.07.036
复制
发表时间：
2005-05-23
影响因子：
1.1
通讯作者：
Baeten, JCM
中科院分区：
文献类型：
--
作者：
Baeten, JCM
这篇笔记讨论了进程代数作为并发理论研究领域的历史，并发理论是计算机科学中的并行和分布式系统理论。起源可以追溯到二十世纪七十年代初，并概述了自那时以来的发展情况。作者对这些问题提出了个人看法。注：另见报告CS-R 04-02，埃因霍温理工大学数学与计算机科学系，http://www.win.tue.nl/fm/pubbaeten.html。(c)2005 Elsevier B. V.保留所有权利。
This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers the present situation, and states some challenges for the future.Note: Also report CS-R 04-02, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, http://www.win.tue.nl/fm/pubbaeten.html. (c) 2005 Elsevier B.V. All rights reserved.