Questions tagged «process-algebra»

您可以在pi演算中对可靠的广播建模吗？ 如果是这样：如何？ 如果不是：是否有任何类似的过程代数可供使用？ 我尝试过的 如果发件人想要消息发送Ÿ所有P 1到P ñ，你可以写 ！（¯ X Ÿ ）。S和x （z ）。P 1至x （z ）。P ñ。但是你如何保证（¯ X Ÿ ）复制ñ倍，即没有消息迷路？我不知道ñSSSyyyP1P1P_1PnPnP_nx¯¯¯y).Sx¯y).S\overline{x}y).Sx(z).P1x(z).P1x(z).P_1x(z).Pnx(z).Pnx(z).P_n(x¯¯¯y)(x¯y)(\overline{x}y)nnnnnn提前。（仅）在涉及的所有进程之间来回发送多个消息是否可能？ ...还是误解了复制的不确定行为？

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

罗宾·米尔纳（Robin Milner）将Bigraph定义为一种具有图式结构但可以嵌套节点的图形结构。他们概括了像CCS和演算这样的过程计算，但米尔纳似乎打算让它们更广泛地使用：研讨会记录了他去世前不久的事态发展。ππ\pi 回顾而不是向前看，米尔纳（Milner）在2009年教科书 《传播媒介的空间与运动》的序幕没有提供太多的历史背景。米尔纳明确承认其起源于移动环境和Pi演算。然而，该模型是如此笼统，以至于与旧模型之间必然存在牢固的联系。 历史上有传记的前身吗？ 着眼于句法元素而不是它们被用来捕捉不断发展的系统的方式，一个明显的先例是AB Kempe，《数学形式理论的回忆录》，伦敦皇家学会的哲学著作177，1–70，1886年。论文可能引入了顶点和边彩色图（我不知道以前的用法，但欢迎使用指针）。肯普似乎也想到了米尔纳所设想的某些相同类型的一般应用程序。还有其他应提及的前辈吗？ （编辑：现在将其标记为社区Wiki，以期吸引更多的答案。）

14 process-algebra  ho.history-overview 

我的背景是复杂性理论/逻辑（大多数时间只有一个进程），以及分布式计算（有进程，随着时间的流逝，一个或多个可能会失败）。但是，我现在希望能够说说一个进程产生/创建/衍生出另一个进程的过程。并行计算，操作系统等中是否存在严格的规定？nnn 动机： 我正在尝试构建模型，以抽象出分子相互作用的某些特征。我想说的是，化学反应集是一个独立的过程，并且在某个时间步长t上，它催生了另一个独立的过程S '。直觉上，这些东西感觉像是独立的过程，因为它们在时间t之后没有相互接触，或者只有很少的接触，只是交换了“消息”。SSStttS′S′S'ttt 更正式地： （1）是否存在预先捕获的CS定义来捕获一个进程产生另一个独立进程的概念？我对能够划定停止和S '起始的位置以及为什么这样做是“合理的” 特别感兴趣。SSSS′S′S' （2）如果对（1）有一个以上答案，那么您对各种定义的利与弊有何看法？ （注意：我不知道如何适当地标记它，并计划根据答案重新标记。）

13 dc.parallel-comp  process-algebra 

一段时间以来，我对编程语言理论和过程计算非常感兴趣，并已开始对其进行研究。老实说，我不介意从事某种职业。我发现该理论令人着迷。我一直遇到的一个恒定问题是，PL理论或过程计算在现代编程语言开发中是否根本没有任何重要性。我在Pi演算上看到如此多的变体，并且有大量活跃的研究，但是它们是否会被需要或有重要的应用？我之所以这样问，是因为我喜欢开发编程语言，而真正的最终目标是使用该理论来实际构建PL。对于我写的东西，与理论之间确实没有任何关联。

10 pl.programming-languages  process-algebra