{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:41Z","timestamp":1762459001812},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29834-9_2","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T01:48:22Z","timestamp":1334713702000},"page":"2-16","source":"Crossref","is-referenced-by-count":7,"title":["Reliable Contracts for Unreliable Half-Duplex Communications"],"prefix":"10.1007","author":[{"given":"\u00c9tienne","family":"Lozes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Villard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Inf. Comput. (1996)","DOI":"10.1006\/inco.1996.0053"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Software Concepts and Tools (2003)","DOI":"10.1109\/TSE.2003.1214326"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Barbanera, F., de\u2019Liguoro, U.: Two notions of sub-behaviour for session-based client\/server systems. In: PPDP (2010)","DOI":"10.1145\/1836089.1836109"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: WWW (2011)","DOI":"10.1145\/1963405.1963516"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-19718-5_4","volume-title":"Programming Languages and Systems","author":"V. Bono","year":"2011","unstructured":"Bono, V., Messa, C., Padovani, L.: Typing Copyless Message Passing. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 57\u201376. Springer, Heidelberg (2011)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/10722167_31","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"2000","unstructured":"Bouajjani, A., Jonsson, B., Nilsson, M., Touili, T.: Regular Model Checking. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 403\u2013418. Springer, Heidelberg (2000)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM (1983)","DOI":"10.1145\/322374.322380"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-01364-5_3","volume-title":"Web Services and Formal Methods","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 37\u201354. Springer, Heidelberg (2009)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"C\u00e9c\u00e9, G., Finkel, A.: Verification of programs with half-duplex communication. Inf. Comput. (2005)","DOI":"10.1016\/j.ic.2005.05.006"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C\u00e9c\u00e9, G., Finkel, A., Purushothaman Iyer, S.: Unreliable channels are easier to verify than perfect channels. Inf. Comput (January 1996)","DOI":"10.1006\/inco.1996.0003"},{"key":"2_CR11","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems - an introduction. In: Petri Nets (1996)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G.C., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in Singularity OS. In: EuroSys (2006)","DOI":"10.1145\/1217935.1217953"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theor. Comput. Sci. (April 2001)","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Vasconcelos, V.T.: Linear type theory for asynchronous session types. J. Funct. Program (2010)","DOI":"10.1017\/S0956796809990268"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., Manning, E.G., Yu, Y.-T.: On the progress of communications between two finite state machines. Information and Control (1984)","DOI":"10.1016\/S0019-9958(84)80014-5"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Mayr, R.: Undecidable problems in unreliable computations. Theor. Comput. Sci. (2003)","DOI":"10.1016\/S0304-3975(02)00646-1"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-21464-6_9","volume-title":"Coordination Models and Languages","author":"L. Padovani","year":"2011","unstructured":"Padovani, L.: Fair Subtyping for Multi-party Session Types. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol.\u00a06721, pp. 127\u2013141. Springer, Heidelberg (2011)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-15349-5_4","volume-title":"Reachability Problems","author":"P. Schnoebelen","year":"2010","unstructured":"Schnoebelen, P.: Lossy Counter Machines Decidability Cheat Sheet. In: Ku\u010dera, A., Potapov, I. (eds.) RP 2010. LNCS, vol.\u00a06227, pp. 51\u201375. Springer, Heidelberg (2010)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Stengel, Z., Bultan, T.: Analyzing singularity channel contracts. In: ISSTA (2009)","DOI":"10.1145\/1572272.1572275"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and Its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"key":"2_CR23","unstructured":"Villard, J.: Heaps and Hops. PhD Thesis, LSV, ENS Cachan (February 2011)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-10672-9_15","volume-title":"Programming Languages and Systems","author":"J. Villard","year":"2009","unstructured":"Villard, J., Lozes, \u00c9., Calcagno, C.: Proving Copyless Message Passing. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 194\u2013209. Springer, Heidelberg (2009)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BFb0028736","volume-title":"Computer Aided Verification","author":"P. Wolper","year":"1998","unstructured":"Wolper, P., Boigelot, B.: Verifying Systems with Infinite but Regular State Spaces. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 88\u201397. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29834-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T22:54:31Z","timestamp":1642028071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}