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

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

Keywords

  • Concurrency theory
  • Formal methods
  • Programming languages

Fingerprint 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