Logo eprints

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Full text not available from this repository.


This special issue contains extended versions of selected papers from the 8th Interaction and Concurrency Experience workshop (ICE 2015). The workshop was held in Grenoble, France, on June 4-5th, 2015. ICE workshops form a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions. The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models. The authors of the most prominent papers presented at ICE 2015 were invited to submit an extended version to this special issue. In order to guarantee the fairness and quality of the selection process, each submission received at least three reviews. The review process has ensured that the accepted articles significantly extend and improve the original workshop contributions. We want to thank all the authors who contributed to this volume. We would like to thank all 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 in several ways. Additional referees were involved in the review of the papers invited for this special issue and we thank their timely contributions. We would also like to thank the editors of JLAMP, for their support during the whole editorial process.

Item Type: Article
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 08 May 2017 12:26
Last Modified: 08 May 2017 12:26
URI: http://eprints.imtlucca.it/id/eprint/3696

Actions (login required)

Edit Item Edit Item