{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:44Z","timestamp":1750307324739,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025132","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"113-123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Checking conformance of a producer and a consumer"],"prefix":"10.1145","author":[{"given":"Evan","family":"Driscoll","sequence":"first","affiliation":[{"name":"University of Wisconsin, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amanda","family":"Burton","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1775283.1775287"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007390"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516518"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987215"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.701281"},{"key":"e_1_3_2_1_6_1","volume-title":"Comp. Sci. Dept.","author":"Burton A.","year":"2010","unstructured":"A. Burton , A. Thakur , E. Driscoll ,, and T. Reps . WALi: Nested-word automata. TR-1675 , Comp. Sci. Dept. , Univ. of Wisconsin , Madison, WI , July 2010 . A. Burton, A. Thakur, E. Driscoll,, and T. Reps. WALi: Nested-word automata. TR-1675, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI, July 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315286"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/101856.101863"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_12"},{"key":"e_1_3_2_1_10_1","unstructured":"CodeSurfer system. www.grammatech.com\/products\/codesurfer.  CodeSurfer system. www.grammatech.com\/products\/codesurfer."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.06.003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455820"},{"key":"e_1_3_2_1_13_1","volume-title":"EuroSys.","author":"F\u00e4hndrich M.","year":"2006","unstructured":"M. F\u00e4hndrich , M. Aiken , C. Hawblitzel , O. Hodson , G. Hunt , J. R. Larus , and S. Levi . Language support for fast and reliable message-based communication in Singularity OS . In EuroSys. 2006 . M. F\u00e4hndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt, J. R. Larus, and S. Levi. Language support for fast and reliable message-based communication in Singularity OS. In EuroSys. 2006."},{"key":"e_1_3_2_1_14_1","first-page":"9","author":"Finkel A.","year":"1997","unstructured":"A. Finkel , B. Willems , and P. Wolper . A direct symbolic approach to model checking pushdown systems. ENTCS , 9 , 1997 . A. Finkel, B. Willems, and P. Wolper. A direct symbolic approach to model checking pushdown systems. ENTCS, 9, 1997.","journal-title":"ENTCS"},{"key":"e_1_3_2_1_15_1","volume-title":"Dept. of Computing Sci.","author":"Gay S.","year":"2003","unstructured":"S. Gay , V. Vasconcelos , and A. Ravara . Session types for inter-process communication. TR-2003-133 , Dept. of Computing Sci. , Univ. of Glasgow , March 2003 . S. Gay, V. Vasconcelos, and A. Ravara. Session types for inter-process communication. TR-2003-133, Dept. of Computing Sci., Univ. of Glasgow, March 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_3_2_1_17_1","volume-title":"CONCUR.","author":"Honda K.","year":"1993","unstructured":"K. Honda . Types for dyadic interaction . In CONCUR. 1993 . K. Honda. Types for dyadic interaction. In CONCUR. 1993."},{"key":"e_1_3_2_1_18_1","unstructured":"J. Hornick. Icons. http:\/\/msdn.microsoft.com\/en-us\/library\/ms997538.aspx.  J. Hornick. Icons. http:\/\/msdn.microsoft.com\/en-us\/library\/ms997538.aspx."},{"key":"e_1_3_2_1_19_1","volume-title":"ECOOP.","author":"Hu R.","year":"2010","unstructured":"R. Hu , D. Kouzapas , O. Pernet , N. Yoshida , and K. Honda . Type-safe eventful sessions in java . In ECOOP. 2010 . R. Hu, D. Kouzapas, O. Pernet, N. Yoshida, and K. Honda. Type-safe eventful sessions in java. In ECOOP. 2010."},{"key":"e_1_3_2_1_20_1","volume-title":"WALi: The Weighted Automaton Library","author":"Kidd N.","year":"2007","unstructured":"N. Kidd , A. Lal , and T. Reps . WALi: The Weighted Automaton Library , 2007 . www.cs.wisc.edu\/wpis\/wpds\/download.php. N. Kidd, A. Lal, and T. Reps. WALi: The Weighted Automaton Library, 2007. www.cs.wisc.edu\/wpis\/wpds\/download.php."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.40"},{"key":"e_1_3_2_1_22_1","volume-title":"OSDI","author":"Kremenek T.","year":"2006","unstructured":"T. Kremenek , P. Twohey , G. Back , A. Ng , and D. Engler . From uncertainty to belief: inferring the specification within . In OSDI , 2006 . T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: inferring the specification within. In OSDI, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.29"},{"key":"e_1_3_2_1_24_1","volume-title":"NDSS","author":"Lin Z.","year":"2008","unstructured":"Z. Lin , X. Jiang , D. Xu , and X. Zhang . Automatic protocol format reverse engineering through context-aware monitored execution . In NDSS , 2008 . Z. Lin, X. Jiang, D. Xu, and X. Zhang. Automatic protocol format reverse engineering through context-aware monitored execution. In NDSS, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453114"},{"key":"e_1_3_2_1_26_1","volume-title":"Formal Methods for Distributed Processing: An Object Oriented Approach","author":"Liskov B.","year":"2001","unstructured":"B. Liskov and J. Wing . Behavioral subtyping using invariants and constraints . In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing: An Object Oriented Approach . Cambridge Univ. Press , 2001 . B. Liskov and J. Wing. Behavioral subtyping using invariants and constraints. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing: An Object Oriented Approach. Cambridge Univ. Press, 2001."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_20"},{"key":"e_1_3_2_1_28_1","volume-title":"Coordination Models and Languages.","author":"Mezzina L.","year":"2008","unstructured":"L. Mezzina . How to infer finite session types in a calculus of services and sessions . In D. Lea and G. Zavattaro, editors, Coordination Models and Languages. 2008 . L. Mezzina. How to infer finite session types in a calculus of services and sessions. In D. Lea and G. Zavattaro, editors, Coordination Models and Languages. 2008."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97952"},{"key":"e_1_3_2_1_30_1","volume-title":"CAV","author":"Rajamani S.","year":"2002","unstructured":"S. Rajamani and J. Rehof . Conformance checking for models of asynchronous message passing software . In CAV , 2002 . S. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In CAV, 2002."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572275"},{"key":"e_1_3_2_1_34_1","volume-title":"NDSS","author":"Wondracek G.","year":"2008","unstructured":"G. Wondracek , P. Comparetti , C. Kruegel , and E. Kirda . Automatic network protocol analysis . In NDSS , 2008 . G. Wondracek, P. Comparetti, C. Kruegel, and E. Kirda. Automatic network protocol analysis. In NDSS, 2008."}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025132","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":33,"alternative-id":["10.1145\/2025113.2025132","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025132","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}