Proceedings Fourth Interaction and Concurrency Experience
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable and Contract-based Interaction. Reliable inte...
Main Authors: | , , , |
---|---|
Format: | Text |
Language: | unknown |
Published: |
arXiv
2011
|
Subjects: | |
Online Access: | https://dx.doi.org/10.48550/arxiv.1108.0144 https://arxiv.org/abs/1108.0144 |
id |
ftdatacite:10.48550/arxiv.1108.0144 |
---|---|
record_format |
openpolar |
spelling |
ftdatacite:10.48550/arxiv.1108.0144 2023-05-15T16:50:37+02:00 Proceedings Fourth Interaction and Concurrency Experience Silva, Alexandra Bliudze, Simon Bruni, Roberto Carbone, Marco 2011 https://dx.doi.org/10.48550/arxiv.1108.0144 https://arxiv.org/abs/1108.0144 unknown arXiv https://dx.doi.org/10.4204/eptcs.59 arXiv.org perpetual, non-exclusive license http://arxiv.org/licenses/nonexclusive-distrib/1.0/ Logic in Computer Science cs.LO FOS Computer and information sciences article-journal Article ScholarlyArticle Text 2011 ftdatacite https://doi.org/10.48550/arxiv.1108.0144 https://doi.org/10.4204/eptcs.59 2022-04-01T13:49:47Z This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable and Contract-based Interaction. Reliable interactions are, e.g., those enjoying suitable logical, behavioural, or security properties, or adhering to certain QoS standards. Contract-based interactions are, e.g., those where the interacting entities are committed to give certain guarantees whenever certain assumptions are met by their operating environment. The ICE procedure for paper selection allows for PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by four PC members, and altogether 8 papers (out of 12) were accepted for publication. We were proud to host three invited talks by Rocco De Nicola (joint with PACO), Simon Gay and Prakash Panangaden, whose abstracts are included in this volume together with the regular papers. Text Iceland DataCite Metadata Store (German National Library of Science and Technology) |
institution |
Open Polar |
collection |
DataCite Metadata Store (German National Library of Science and Technology) |
op_collection_id |
ftdatacite |
language |
unknown |
topic |
Logic in Computer Science cs.LO FOS Computer and information sciences |
spellingShingle |
Logic in Computer Science cs.LO FOS Computer and information sciences Silva, Alexandra Bliudze, Simon Bruni, Roberto Carbone, Marco Proceedings Fourth Interaction and Concurrency Experience |
topic_facet |
Logic in Computer Science cs.LO FOS Computer and information sciences |
description |
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable and Contract-based Interaction. Reliable interactions are, e.g., those enjoying suitable logical, behavioural, or security properties, or adhering to certain QoS standards. Contract-based interactions are, e.g., those where the interacting entities are committed to give certain guarantees whenever certain assumptions are met by their operating environment. The ICE procedure for paper selection allows for PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by four PC members, and altogether 8 papers (out of 12) were accepted for publication. We were proud to host three invited talks by Rocco De Nicola (joint with PACO), Simon Gay and Prakash Panangaden, whose abstracts are included in this volume together with the regular papers. |
format |
Text |
author |
Silva, Alexandra Bliudze, Simon Bruni, Roberto Carbone, Marco |
author_facet |
Silva, Alexandra Bliudze, Simon Bruni, Roberto Carbone, Marco |
author_sort |
Silva, Alexandra |
title |
Proceedings Fourth Interaction and Concurrency Experience |
title_short |
Proceedings Fourth Interaction and Concurrency Experience |
title_full |
Proceedings Fourth Interaction and Concurrency Experience |
title_fullStr |
Proceedings Fourth Interaction and Concurrency Experience |
title_full_unstemmed |
Proceedings Fourth Interaction and Concurrency Experience |
title_sort |
proceedings fourth interaction and concurrency experience |
publisher |
arXiv |
publishDate |
2011 |
url |
https://dx.doi.org/10.48550/arxiv.1108.0144 https://arxiv.org/abs/1108.0144 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
https://dx.doi.org/10.4204/eptcs.59 |
op_rights |
arXiv.org perpetual, non-exclusive license http://arxiv.org/licenses/nonexclusive-distrib/1.0/ |
op_doi |
https://doi.org/10.48550/arxiv.1108.0144 https://doi.org/10.4204/eptcs.59 |
_version_ |
1766040741906219008 |