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.
|Original language||English (US)|
|Journal||Journal of Logical and Algebraic Methods in Programming|
|State||Published - Dec 2019|
Bibliographical noteFunding Information:
The Guest Editors of this special issue would like to thank all the authors who contributed to this volume. We are grateful to the members of the Program Committee of ICE, who helped us in the selection of the papers and who helped the authors to improve their contributions. Additional referees were involved in the review of the papers invited for this special issue and we thank them for their noteworthy contributions. We also acknowledge the support from the editors of JLAMP throughout the editorial process.
- Concurrency theory
- Formal methods
- Programming languages