当前位置:
X-MOL 学术
›
J. Log. Algebr. Methods Program.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Preface for the special issue on Interaction and Concurrency Experience 2017
Journal of Logical and Algebraic Methods in Programming ( IF 0.7 ) Pub Date : 2019-10-25 , DOI: 10.1016/j.jlamp.2019.100488 Massimo Bartoletti , Laura Bocchi , Ludovic Henrio , Sophia Knight
中文翻译:
2017年交互与并发体验专刊的序言
更新日期:2019-10-25
Journal of Logical and Algebraic Methods in Programming ( IF 0.7 ) Pub Date : 2019-10-25 , DOI: 10.1016/j.jlamp.2019.100488 Massimo Bartoletti , Laura Bocchi , Ludovic Henrio , Sophia Knight
We present the content of the special issue consisting of selected articles from the 10th Interaction and Concurrency Experience workshop (ICE 2017). The theoretical results contributed by the ICE workshops and by these articles in particular aim at being applicable to real concurrent and distributed systems.
中文翻译:
2017年交互与并发体验专刊的序言
我们介绍了本期特刊的内容,该内容由第十届“交互和并发体验”研讨会(ICE 2017)中的精选文章组成。ICE研讨会和这些文章所提供的理论结果尤其旨在适用于实际的并发和分布式系统。