{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:20Z","timestamp":1762459160613,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_6","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"69-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Compliance and Testing Preorders Differ"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Barbanera, F., de\u2019Liguoro, U.: Two notions of sub-behaviour for session-based client\/server systems. In: Kutsia, T., Schreiner, W., Fern\u00e1ndez, M. (eds.) PPDP, pp. 155\u2013164. ACM (2010)","DOI":"10.1145\/1836089.1836109"},{"key":"6_CR2","unstructured":"Bernardi, G.: Behavioural equivalences for web services. Ph.D. thesis, Trinity College Dublin. https:\/\/www.scss.tcd.ie\/~bernargi (2013)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Bernardi, G., Hennessy, M.: Modelling session types using contracts. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1941\u20131946. ACM (2012)","DOI":"10.1145\/2245276.2232097"},{"key":"6_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-40184-8_6","volume-title":"CONCUR 2013","author":"G Bernardi","year":"2013","unstructured":"Bernardi, G., Hennessy, M.: Mutually testing processes (extended abstract). In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 61\u201375. Springer, Heidelberg (2013)"},{"key":"6_CR5","series-title":"LNCS","first-page":"76","volume-title":"WS-FM 2009","author":"M Bugliesi","year":"2010","unstructured":"Bugliesi, M., Macedonio, D., Pino, L., Rossi, S.: Compliance preorders for web services. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 76\u201391. Springer, Heidelberg (2010)"},{"key":"6_CR6","series-title":"LNCS","first-page":"148","volume-title":"WS-FM 2006","author":"S Carpineti","year":"2006","unstructured":"Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for web services. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148\u2013162. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1538917.1538920","volume":"31","author":"G Castagna","year":"2009","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5), 1\u201361 (2009). (Supersedes the article in POPL \u201908)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R Cleaveland","year":"1993","unstructured":"Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Asp. Comput. 5(1), 1\u201320 (1993)","journal-title":"Formal Asp. Comput."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Cerone, A., Hennessy, M.: Process behaviour: Formulae vs. tests (extended abstract). In: Fr\u00f6schle, S.B., Valencia, F.D. (eds) EXPRESS\u201910. EPTCS, vol. 41, pp. 31\u201345 (2010)","DOI":"10.4204\/EPTCS.41.3"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoret. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theoret. Comput. Sci."},{"issue":"2\u20133","key":"6_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"SJ Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Inf."},{"key":"6_CR12","volume-title":"Algebraic Theory of Processes","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1985)"},{"key":"6_CR13","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Hardcover (1985)"},{"key":"6_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-74407-8_15","volume-title":"CONCUR 2007","author":"C Laneve","year":"2007","unstructured":"Laneve, C., Padovani, L.: The must preorder revisited. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 212\u2013225. Springer, Heidelberg (2007)"},{"key":"6_CR15","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"6_CR16","series-title":"LNCS","first-page":"213","volume-title":"SFM 2009","author":"L Padovani","year":"2009","unstructured":"Padovani, L.: Contract-based discovery and adaptation of web services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 213\u2013260. Springer, Heidelberg (2009)"},{"issue":"37","key":"6_CR17","doi-asserted-by":"publisher","first-page":"3328","DOI":"10.1016\/j.tcs.2010.05.002","volume":"411","author":"L Padovani","year":"2010","unstructured":"Padovani, L.: Contract-based discovery of web services modulo simple orchestrators. Theor. Comput. Sci. 411(37), 3328\u20133347 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR18","series-title":"LNCS","volume-title":"PARLE 1994","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. 817. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:47:47Z","timestamp":1676846867000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}