Preface for the special issue on Interaction and Concurrency Experience 2017

Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight

Research output: Contribution to journalEditorialpeer-review


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 languageEnglish (US)
Article number100488
JournalJournal of Logical and Algebraic Methods in Programming
StatePublished - Dec 2019

Bibliographical note

Funding 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.

Publisher Copyright:
© 2019


  • Concurrency theory
  • Formal methods
  • Programming languages


Dive into the research topics of 'Preface for the special issue on Interaction and Concurrency Experience 2017'. Together they form a unique fingerprint.

Cite this