{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:11:26Z","timestamp":1730200286484,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/bigcomp.2019.8679265","type":"proceedings-article","created":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T03:03:38Z","timestamp":1554433418000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Towards Bidirectional Synchronization Between Communicating Processes and Session Types"],"prefix":"10.1109","author":[{"given":"Liye","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsiang-Shang","family":"Ko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keigo","family":"Imai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"Validity checking of putback transformations in bidirectional programming","volume":"8442","author":"hu","year":"2014","journal-title":"International Symposium on Formal Methods"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543737"},{"journal-title":"Communicating and Mobile systems The -Calculus","year":"1999","author":"milner","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","article-title":"From state-to delta-based bidirectional model transformations: the symmetric case","author":"diskin","year":"2011","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926428"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3191697.3191717"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2017.16.1.a2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.13052\/rp-9788793519817"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2827695"},{"key":"ref6","first-page":"260","article-title":"Bidirectional transformations: A cross-discipline perspective","volume":"5563","author":"czarnecki","year":"2009","journal-title":"International Conference on Model Transformation"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.03.004"},{"journal-title":"Designing constraint maintainers for user interaction","year":"1998","author":"meertens","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_1"},{"key":"ref2","first-page":"122","article-title":"Language primitives and type discipline for structured communication-based programming","volume":"1381","author":"honda","year":"1998","journal-title":"European Symposium on Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58184-7_118"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","article-title":"Bidirectional model transformations in QVT: Semantic issues and open questions","volume":"9","author":"stevens","year":"2010","journal-title":"Software and Systems Modeling"}],"event":{"name":"2019 IEEE International Conference on Big Data and Smart Computing (BigComp)","start":{"date-parts":[[2019,2,27]]},"location":"Kyoto, Japan","end":{"date-parts":[[2019,3,2]]}},"container-title":["2019 IEEE International Conference on Big Data and Smart Computing (BigComp)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8671661\/8678915\/08679265.pdf?arnumber=8679265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:18:43Z","timestamp":1657855123000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8679265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/bigcomp.2019.8679265","relation":{},"subject":[],"published":{"date-parts":[[2019,2]]}}}