Abstract
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) |
---|---|
Article number | 100488 |
Journal | Journal of Logical and Algebraic Methods in Programming |
Volume | 109 |
DOIs | |
State | Published - Dec 2019 |
Bibliographical note
Publisher Copyright:© 2019
Keywords
- Concurrency theory
- Formal methods
- Programming languages