Preface for the special issue on Interaction and Concurrency Experience 2017

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.

[1]  Dan R. Ghica,et al.  Latent semantic analysis of game models using LSTM , 2019, J. Log. Algebraic Methods Program..

[2]  Ivan Lanese,et al.  Foundations of Session Types and Behavioural Contracts , 2016, ACM Comput. Surv..

[3]  Stephan Mennicke,et al.  Keep it fair: Equivalence and composition , 2019, J. Log. Algebraic Methods Program..

[4]  Ugo de'Liguoro,et al.  Session types and subtyping for orchestrated interactions , 2019, J. Log. Algebraic Methods Program..