- Email: [email protected]
Preface for the special issue on Interaction and Concurrency Experience 2015
Journal of Logical and Algebraic Methods in Programming 86 (2017) 1
Contents lists available at ScienceDirect
Journal of Logical and Algebraic Methods in Programming www.elsevier.com/locate/jlamp
Preface for the special issue on Interaction and Concurrency Experience 2015 Ivan Lanese a , Alberto Lluch Lafuente b , Sophia Knight c , Hugo Torres Vieira d a
University of Bologna, Italy/INRIA, France Technical University of Denmark, Denmark CNRS, LORIA, Université de Lorraine, France d IMT Institute for Advanced Studies Lucca, Italy b c
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.
http://dx.doi.org/10.1016/j.jlamp.2016.10.003 2352-2208/© 2016 Published by Elsevier Inc.
Contents lists available at ScienceDirect
Journal of Logical and Algebraic Methods in Programming www.elsevier.com/locate/jlamp
Preface for the special issue on Interaction and Concurrency Experience 2015 Ivan Lanese a , Alberto Lluch Lafuente b , Sophia Knight c , Hugo Torres Vieira d a
University of Bologna, Italy/INRIA, France Technical University of Denmark, Denmark CNRS, LORIA, Université de Lorraine, France d IMT Institute for Advanced Studies Lucca, Italy b c
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.
http://dx.doi.org/10.1016/j.jlamp.2016.10.003 2352-2208/© 2016 Published by Elsevier Inc.