Implementation of Reversible Distributed Calculus

出版，文件解除 Anneée:2023年

可逆分布式微积分的实现

(1),(1)

克莱门特·奥伯特

奥古斯塔大学

布朗宁·彼得

奥古斯塔大学

进程演算（π演算、CCS、环境演算等）是并行系统的抽象，有助于研究、指定和验证分布式程序和协议。这个项目IRDC是关于可逆过程计算的这种抽象的实现。据我们所知，这是第一个公开可用的工具。我们简要介绍了该工具的现状、一些功能，并讨论了其未来的发展。

形式语义学过程代数与微积分可逆计算并发工具实施

Théorie et langage formel[法语]

菲奇尔校长

2023_03_17_标准.pdf（146.41 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

https://hal.science/hal-04035458

索米斯勒马尔迪2023-14:23:14

Dernière修改le:jeudi 30 mars 2023-10:45:45

哈尔-04035458，版本1 (21-03-2023)

父爱

Clément Aubert和Browning Peter。可逆分布式微积分的实现。2023⟨哈尔-04035458⟩

39 磋商

62 交易费用