{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:18:07Z","timestamp":1648559887947},"reference-count":14,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.211.3","type":"journal-article","created":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T21:54:52Z","timestamp":1466114092000},"page":"25-36","source":"Crossref","is-referenced-by-count":1,"title":["Parallel Monitors for Self-adaptive Sessions"],"prefix":"10.4204","volume":"211","author":[{"given":"Mario","family":"Coppo","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Torino, Italia"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Italia"}]},{"given":"Betti","family":"Venneri","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Italia"}]}],"member":"2720","published-online":{"date-parts":[[2016,6,17]]},"reference":[{"key":"AR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-35182-2_15","article-title":"Dynamic Software Update for Message Passing Programs","volume-title":"APLAS'12","volume":"7705","author":"Anderson","year":"2012"},{"key":"BCDDDY08","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","article-title":"Global Progress in Dynamically Interleaved Multiparty Sessions","volume-title":"CONCUR'08","volume":"5201","author":"Bettini","year":"2008"},{"key":"BCDHY13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","article-title":"Monitoring Networks through Multiparty Session Types","volume-title":"FMOODS\/FORTE'13","volume":"7892","author":"Bocchi","year":"2013"},{"key":"DBLP:conf\/sefm\/BravettiCHLMPZ13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-05032-4_1","article-title":"Towards Global and Local Types for Adaptation","volume-title":"SEFM'13","volume":"8368","author":"Bravetti","year":"2014"},{"issue":"2","key":"CHY12","doi-asserted-by":"publisher","DOI":"10.1145\/2220365.2220367","article-title":"Structured Communication-Centered Programming for Web Services","volume":"34","author":"Carbone","year":"2012","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CDP14","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"9","DOI":"10.4204\/EPTCS.162.2","article-title":"Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective","volume-title":"BEAT'14","volume":"162","author":"Castellani","year":"2014"},{"key":"CDYP2015","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-18941-3_4","article-title":"A Gentle Introduction to Multiparty Asynchronous Session Types","volume-title":"SFM'15","volume":"9104","author":"Coppo","year":"2015"},{"key":"CDV15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s11761-014-0171-9","article-title":"Self-Adaptive Multiparty Sessions","volume":"9","author":"Coppo","year":"2015","journal-title":"Service Oriented Computing and Applications"},{"key":"DBLP:conf\/sle\/PredaGLMG14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-11245-9_9","article-title":"AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications","volume-title":"SLE'14","volume":"8706","author":"Dalla Preda","year":"2014"},{"key":"DY11","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/1926385.1926435","article-title":"Dynamic Multirole Session Types","volume-title":"POPL'11","author":"Deni\u00e9lou","year":"2011"},{"key":"HKV98","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0053567","article-title":"Language Primitives and Type Disciplines for Structured Communication-based Programming","volume-title":"ESOP'98","volume":"1381","author":"Honda","year":"1998"},{"key":"CHY08","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328438.1328472","article-title":"Multiparty Asynchronous Session Types","volume-title":"POPL'08","author":"Honda","year":"2008"},{"key":"PierceBC:typsysfpl","volume-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"issue":"1","key":"S00","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","article-title":"Enforceable Security Policies","volume":"3","author":"Schneider","year":"2000","journal-title":"ACM Transactions on Information and System Security"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T13:09:45Z","timestamp":1466687385000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1606.05938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,17]]},"references-count":14,"URL":"https:\/\/doi.org\/10.4204\/eptcs.211.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,17]]}}}