{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:50:25Z","timestamp":1725486625016},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_17","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"269-284","source":"Crossref","is-referenced-by-count":0,"title":["Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Banerji, A., Bartolini, C., Beringer, D., Chopella, V.: et\u00a0al.: Web Services Conversation Language (wscl) 1.0 (2002), \n                    \n                      http:\/\/www.w3.org\/TR\/2002\/NOTE-wscl10-20020314"},{"key":"17_CR2","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":"17_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(01)00090-1","volume":"290","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Bravetti, M.: Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science\u00a0290, 117\u2013160 (2003)","journal-title":"Theoretical Computer Science"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-44618-4_23","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Bernardo","year":"2000","unstructured":"Bernardo, M., Cleaveland, R.: A Theory of Testing for Markovian Processes. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 305\u2013319. Springer, Heidelberg (2000)"},{"key":"17_CR5","unstructured":"Booth, D., Liu, C.K.: Web Services Description Language wsdl Version 2.0 Part 0: Primer (2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-primer-20060327"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","volume":"290","author":"M. Bravetti","year":"2003","unstructured":"Bravetti, M., Aldini, A.: Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds. Theoretical Computer Science\u00a0290, 355\u2013406 (2003)","journal-title":"Theoretical Computer Science"},{"key":"17_CR7","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":"17_CR8","first-page":"37","volume-title":"PLAN-X\u00a02007","author":"G. Castagna","year":"2007","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. In: PLAN-X\u00a02007. Proc. of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML, pp. 37\u201349. ACM Press, New York (2007)"},{"key":"17_CR9","unstructured":"Chinnici, R., Haas, H., Lewis, A.A., Moreau, J.-J., et\u00a0al.: Web Services Description Language (wsdl) Version 2.0 Part 2: Adjuncts (2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-adjuncts-20060327"},{"key":"17_CR10","unstructured":"Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (wsdl) Version 2.0 Part 1: Core Language (2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-20060327"},{"key":"17_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":"17_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R. Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing Preorders for Probabilistic Processes. Information and Computation\u00a0154, 93\u2013148 (1999)","journal-title":"Information and Computation"},{"key":"17_CR13","unstructured":"Colgrave, J., Januszewski, K.: Using wsdl in a uddi Registry, technical note (2004), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tn\/uddi-spec-tc-tn-wsdl-v2.htm"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1983","unstructured":"de Nicola, R., Hennessy, M.: Testing Equivalences for Processes. in Theoretical Computer Science\u00a034, 83\u2013133 (1983)","journal-title":"in Theoretical Computer Science"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S. Dustdar","year":"2005","unstructured":"Dustdar, S., Schreiner, W.: A Survey on Web Services Composition. International Journal of Web and Grid Services\u00a01, 1\u201330 (2005)","journal-title":"International Journal of Web and Grid Services"},{"key":"17_CR16","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, 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek Van","year":"1995","unstructured":"Van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, Generative and Stratified Models of Probabilistic Processes. Information and Computation\u00a0121, 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/844357.844360","volume":"4","author":"S. Ran","year":"2003","unstructured":"Ran, S.: A Model for Web Services Discovery with QoS. ACM SIGecom Exchanges\u00a04, 1\u201310 (2003)","journal-title":"ACM SIGecom Exchanges"},{"key":"17_CR19","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T18:46:56Z","timestamp":1539024416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}