交易人

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Koutavas,Vasileios;Gazda,Maciej;Hennessy,Matthew:区分交流交易(2018) 伊万·兰内斯(Lanese);西田(Nishida),直木(Naoki);帕拉西奥斯(Palacios),阿德里安(Adrián);维达尔(Vidal),格尔曼(Germanán):厄朗的可逆性理论(2018年) Giachino,Elena;Lanese,Ivan;Mezzina,Claudio Antares;Tiezzi,Francesco:基于元组语言的因果一致性回滚(2017) 伊万·兰内斯(Lanese);克劳迪奥·安塔雷斯(Claudio Antares);施密特(Schmitt),艾伦(Alan);斯特凡尼(Stefani),让·伯纳德(Jean Bernard):控制高阶pi中的可逆性(2011) Philipp Haller;Martin Odersky:Scala actors:统一基于线程和基于事件的编程(2009) Field,John;Varela,Carlos A.:事务处理程序:在不可靠环境中维护全局一致的分布式状态的编程模型(2005)