@liu332520 有木有关于进程代数研究的paper？

[haoawesome]

http://www.weibo.com/5220650532/BrcEAluXE

[haoawesome]

概念

http://baike.baidu.com/view/2519257.htm 进程代数是关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C. A.R，分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。 此后这一研究方向兴盛不衰，出现了众多类似而又 相互区别的演算系统，如ACP(提出者J.A.Ber郎tra 和J.W.K10p)，ATp(提出者M.H即n樱y)，Meije(提出者G.Eudol，R.desi~)，LOTC6等，统称为进程代数。

http://en.wikipedia.org/wiki/Process_calculus In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS.[1] More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus.

相关概念

• Actor model and process calculi
• Algebra of Communicating Processes
• Ambient calculus
• API-Calculus
• Calculus of Broadcasting Systems
• Calculus of communicating systems
• Communicating sequential processes
• Construction and Analysis of Distributed Processes
• Actor model and process calculi history
• Join-calculus
• Language Of Temporal Ordering Specification
• MCRL2
• PEPA
• Π-calculus
• Stochastic probe
• Temporal Process Language
• Unbounded nondeterminism

http://en.wikipedia.org/wiki/%CE%A0-calculus In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.

经典论文

Baeten, J.C.M. (2004). "A brief history of process algebra". Rapport CSR 04-02 (Vakgroep Informatica, Technische Universiteit Eindhoven). http://dl.acm.org/citation.cfm?id=1085669 http://alexandria.tue.nl/extra1/wskrap/publichtml/200402.pdf

Process algebra: equational theories of communicating processes JCM Baeten, T Basten, T Basten, MA Reniers - 2010

课程

http://www.it.uu.se/research/group/mobility/apc-course-copenhagen-2013 Advanced process calculi, Copenhagen, August 2013

[haoawesome]

http://www.amazon.com/Process-Algebra-Equational-Communicating-Theoretical/dp/0521820499

Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50) Hardcover – December 16, 2009 by J. C. M. Baeten (Author), T. Basten (Author), M. A. Reniers (Author)

[haoawesome]

http://dl.acm.org/citation.cfm?id=1667063 http://arxiv.org/pdf/0807.4132.pdf

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi. 2010. Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42, 2, Article 6 (March 2010), 59 pages. DOI=10.1145/1667062.1667063 http://doi.acm.org/10.1145/1667062.1667063

[haoawesome]

http://www.cs.vu.nl/~wanf/BOOKS/procalg.pdf Introduction to Process Algebra Wan Fokkink 2nd edition April 10,2007

[haoawesome]

问: 关于进程代数研究的paper? 答: 资料汇总 https://github.com/memect/hao/issues/268 进程代数process calculi用于为并发系统形式化建模,包括: π-calculus, ambient calculus, PEPA, fusion calculus, join-calculus。有本书 "Process algebra: equational theories of communicating processes"

http://www.weibo.com/5220650532/BrW0E3a1f?ref=

[haoawesome]

推荐一篇ACM Computing Surveys 2010年综述，讲关于时间的数理模型 http://arxiv.org/abs/0807.4132 1. 时间模型的考量维度,例如 离散/连续,顺序/分支，并发/组合,... 2. 数理模型发展史, 3. 常见时间模型分类, 例如 Petri网, 时间逻辑(Temporal Logic), 进程代数(process calculi) ... 抛砖引玉，欢迎指正

“Perhaps, the main lesson we can extract from our study is that despite the common understanding that time is a basic, unique conceptual entity, there are many notions of time" in our reasoning; this is reflected in the adoption of different formal models when specifying and analyzing any type of system where timing behavior is of any concern.”