{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:16:49Z","timestamp":1729628209533,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iccp.2015.7312614","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:03:35Z","timestamp":1446505415000},"page":"109-116","source":"Crossref","is-referenced-by-count":0,"title":["Verification of protocol specifications with Separation Logic"],"prefix":"10.1109","author":[{"given":"Tibor","family":"Kiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florin","family":"Craciun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bazil","family":"Parv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Formal verification of distributed programs using session types and coq","year":"2014","author":"jensen","key":"ref30"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-74792-5_10","article-title":"Bounded session types for object oriented languages","volume":"4709","author":"dezani-ciancaglini","year":"2007","journal-title":"Formal Methods for Components and Objects"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029817"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/373243.375719"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993526"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/11804192_6","article-title":"Smallfoot: Modular automatic assertion checking with separation logic","volume":"4111","author":"berdine","year":"2006","journal-title":"Formal Methods for Components and Objects"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048096"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048096"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2993.357247"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/BFb0053567","article-title":"Language primitives and type discipline for structured communication-based programming","author":"honda","year":"1998","journal-title":"Proceedings of the 7th European Symposium on Programming Programming Languages and Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38592-6_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.137.9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706335"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/11785477_20","article-title":"Session types for object-oriented languages","volume":"4067","author":"dezani-ciancaglini","year":"2006","journal-title":"ECOOP 2006 ? Object-Oriented Programming"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599437"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","article-title":"Type-safe eventful sessions in java","volume":"6183","author":"hu","year":"2010","journal-title":"ECOOP 2010 - Object-Oriented Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80382-2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.64.2"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/978-3-642-40787-1_25","article-title":"Spy: Local verification of global protocols","volume":"8174","author":"neykova","year":"2013","journal-title":"Runtime Verification"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30065-3_2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.09.028"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-662-44471-9_5","article-title":"Structuring communication with session types","volume":"8665","author":"honda","year":"2014","journal-title":"Concurrent Objects and Beyond"},{"key":"ref26","article-title":"A mechanized theory of the pi-calculus in hol","author":"melham","year":"1992","journal-title":"NORDIC JOURNAL OF COMPUTING Tech Rep"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.050"}],"event":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","start":{"date-parts":[[2015,9,3]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2015,9,5]]}},"container-title":["2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7301668\/7312586\/07312614.pdf?arnumber=7312614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T06:05:37Z","timestamp":1567317937000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7312614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/iccp.2015.7312614","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}