Questions tagged «process-algebra»

1
(如何)可以在pi演算中建模广播?
您可以在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提前。(仅)在涉及的所有进程之间来回发送多个消息是否可能? ...还是误解了复制的不确定行为?

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

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

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