雌蕊

pistage:在scala中实现π演算。π演算是并发可重构agent系统的先驱理论。它被广泛地用作其他理论和语言的基础(语义),这些理论和语言旨在表示运行时改变系统行为的计算现象。例如,在面向服务的应用程序中,由于需要根据本地上下文相应地配置系统,因此非常需要重新配置。今天,一系列的研究致力于扩展π-演算特性来协调web服务应用程序背后的概念。然而,一个问题仍然存在:如何模拟π-代理来洞察特定系统的真实行为?π演算中嵌入的可重构特性丰富了它的表达能力,但却引入了更为复杂的语义,使其实现成为一项具有挑战性的任务。目前的工作提出了一个所有π演算核心元素的实现,可以用来定义和模拟代理。在Scala中,这种实现是以领域特定语言(DSL)的形式给出的。

zbMATH中的参考文献(参考文献1条,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 马蒂埃洛,佩德罗;de Melo,Ana C.V.:Pistage:在Scala中实现(\pi)-微积分(2011)