{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:31Z","timestamp":1762458571833},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744061"},{"type":"electronic","value":"9783540744078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74407-8_15","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T10:30:48Z","timestamp":1187433048000},"page":"212-225","source":"Crossref","is-referenced-by-count":51,"title":["The Must Preorder Revisited"],"prefix":"10.1007","author":[{"given":"Cosimo","family":"Laneve","sequence":"first","affiliation":[]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C.K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 (January 2007), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/CS01\/wsbpel-v2.0-CS01.html"},{"key":"15_CR2","unstructured":"Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (WSCL) 1.0 (March 2002), \n                    \n                      http:\/\/www.w3.org\/TR\/2002\/NOTE-wscl10-20020314"},{"key":"15_CR3","unstructured":"Beringer, D., Kuno, H., Lemon, M.: Using WSCL in a UDDI Registry 1.0, UDDI Working Draft Best Practices Document (2001), \n                    \n                      http:\/\/xml.coverpages.org\/HP-UDDI-wscl-5-16-01.pdf"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Pre-proceedings of 6th Symposium on Software Composition (2007)","DOI":"10.1007\/978-3-540-77351-1_4"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of 16th European Symposium on Programming","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. In: Proceedings of 16th European Symposium on Programming. LNCS, Springer, Heidelberg (2007)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11841197_10","volume-title":"Web Services and Formal Methods","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.\u00a04184, pp. 148\u2013162. Springer, Heidelberg (2006)"},{"key":"15_CR7","first-page":"37","volume-title":"Proceedings of 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML","author":"G. Castagna","year":"2007","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for Web Services. In: Proceedings of 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML, pp. 37\u201348. ACM Press, New York (2007)"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/565816.503278","volume":"37","author":"S. Chaki","year":"2002","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. SIGPLAN Not.\u00a037(1), 45\u201357 (2002)","journal-title":"SIGPLAN Not."},{"key":"15_CR9","unstructured":"Chinnici, R., Haas, H., Lewis, A.A., Moreau, J.-J., et al.: Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts (March 2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-adjuncts-20060327"},{"key":"15_CR10","unstructured":"Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (March 2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-20060327"},{"key":"15_CR11","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), \n                    \n                      http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315"},{"key":"15_CR12","unstructured":"Colgrave, J., Januszewski, K.: Using WSDL in a UDDI registry, version 2.0.2. Technical note, OASIS (2004), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tn\/uddi-spec-tc-tn-wsdl-v2.htm"},{"issue":"2-3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S. Gay","year":"2005","unstructured":"Gay, S., Hole, M.: Subtyping for session types in the \u03c0-calculus. Acta Informatica\u00a042(2-3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M.: Acceptance trees. JACM: Journal of the ACM\u00a032(4), 896\u2013928 (1985)","journal-title":"JACM: Journal of the ACM"},{"key":"15_CR15","volume-title":"Foundation of Computing","author":"M.C.B. Hennessy","year":"1988","unstructured":"Hennessy, M.C.B.: Algebraic Theory of Processes. Foundation of Computing, MIT Press, Cambridge (1988)"},{"key":"15_CR16","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language 1.0 (2005), \n                    \n                      http:\/\/www.w3.org\/TR\/2005\/CR-ws-cdl-10-20051109\/"},{"key":"15_CR17","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R.D. Nicola","year":"1984","unstructured":"Nicola, R.D., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci\u00a034, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci"},{"key":"15_CR19","first-page":"138","volume-title":"TAPSOFT 1987\/CAAP 1987: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming","author":"R.D. Nicola","year":"1987","unstructured":"Nicola, R.D., Hennessy, M.: CCS without \u03c4\u2019s. In: Ehrig, H., Levi, G., Montanari, U. (eds.) TAPSOFT 1987\/CAAP 1987: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming, pp. 138\u2013152. Springer, Heidelberg (1987)"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/174675.174538","volume-title":"POPL 1994","author":"H.R. Nielson","year":"1994","unstructured":"Nielson, H.R., Nielson, F.: Higher-order concurrent programs with finite communication topology (extended abstract). In: POPL 1994. Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 84\u201397. ACM Press, New York (1994)"},{"key":"15_CR21","unstructured":"Parastatidis, S., Webber, J.: MEP SSDL Protocol Framework (April 2005), \n                    \n                      http:\/\/ssdl.org"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2007 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74407-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:24:59Z","timestamp":1619504699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74407-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744061","9783540744078"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74407-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}