{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:20:58Z","timestamp":1725492058985},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75698-9_16","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T02:26:03Z","timestamp":1191464763000},"page":"240-256","source":"Crossref","is-referenced-by-count":15,"title":["A Behavioural Congruence for Web Services"],"prefix":"10.1007","author":[{"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Sara","family":"Corfini","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Understanding Web Services: XML, WSDL, SOAP, and UDDI","author":"E. Newcomer","year":"2002","unstructured":"Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI. Addison-Wesley, Reading (2002)"},{"key":"16_CR2","unstructured":"W3C: WSDL 1.1 (2001), \n                  \n                    http:\/\/www.w3.org\/TR\/wsdl"},{"key":"16_CR3","unstructured":"OWL-S Coalition: OWL-S 1.1 (2004), \n                  \n                    http:\/\/www.daml.org\/services\/owl-s\/1.1\/"},{"key":"16_CR4","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs in Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"16_CR5","unstructured":"Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Schewe, K.D., Zhou, X. (eds.) Australasian Database Conference in Research and Practice in Information Technology, vol.\u00a017, pp. 191\u2013200. Australian Computer Society (2003)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"issue":"5","key":"16_CR7","first-page":"1","volume":"3","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W.: Pi calculus versus Petri nets: Let us eat \u201chumble pie\u201d rather than further inflate the \u201cPi hype\u201d. BPTrends\u00a03(5), 1\u201311 (2005)","journal-title":"BPTrends"},{"issue":"3","key":"16_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2007070101","volume":"4","author":"A. Brogi","year":"2007","unstructured":"Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research\u00a04(3), 1\u201325 (2007)","journal-title":"International Journal of Web Services Research"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"CONCUR 2000 - Concurrency Theory","author":"J. Leifer","year":"2000","unstructured":"Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 243\u2013258. Springer, Heidelberg (2000)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Milner","year":"2004","unstructured":"Milner, R.: Bigraphs for Petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 686\u2013701. Springer, Heidelberg (2004)"},{"key":"16_CR11","series-title":"Electr. Notes in Theor. Comp. Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/b106850","volume-title":"Petri Nets and Graph Transformation","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Soboci\u0144ski, S.: A congruence for Petri nets. In: Ehrig, H., Padberg, J., Rozenberg, G. (eds.) Petri Nets and Graph Transformation. Electr. Notes in Theor. Comp. Sci, vol.\u00a0127, pp. 107\u2013120. Elsevier, Amsterdam (2005)"},{"issue":"6","key":"16_CR12","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica\u00a032(6), 545\u2013596 (1995)","journal-title":"Acta Informatica"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/EEE.2005.53","volume-title":"e-Technology, e-Commerce, and e-Services","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Consistency between executable and abstract processes. In: e-Technology, e-Commerce, and e-Services, pp. 60\u201367. IEEE Computer Society, Los Alamitos (2005)"},{"key":"16_CR14","unstructured":"Verbeek, H., van der Aalst, W.: Analyzing BPEL processes using Petri nets. In: Marinescu, D. (ed.) Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 59\u201378 (2005)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"key":"16_CR17","first-page":"311","volume-title":"Logic in Computer Science","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Soboci\u0144ski, P.: Reactive systems over cospans. In: Logic in Computer Science, pp. 311\u2013320. IEEE Computer Society, Los Alamitos (2005)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-24727-2_12","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., K\u00f6nig, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 151\u2013166. Springer, Heidelberg (2004)"},{"key":"16_CR19","first-page":"69","volume-title":"Logic in Computer Science","author":"F. Bonchi","year":"2006","unstructured":"Bonchi, F., K\u00f6nig, B., Montanari, U.: Saturated semantics for reactive systems. In: Logic in Computer Science, pp. 69\u201380. IEEE Computer Society, Los Alamitos (2006)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Advances in Petri Nets 1992","author":"L. Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg, G., Simone, C.: A survey of equivalence notions for net based systems. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol.\u00a0609, pp. 410\u2013472. Springer, Heidelberg (1992)"},{"issue":"1","key":"16_CR21","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/S0890-5401(02)93117-2","volume":"178","author":"E. Best","year":"2002","unstructured":"Best, E., Devillers, R., Koutny, M.: The Box Algebra = Petri nets + process expressions. Information and Computation\u00a0178(1), 44\u2013100 (2002)","journal-title":"Information and Computation"},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P. Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science\u00a015(1), 1\u201335 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_10","volume-title":"Business Process Management","author":"W. Aalst van der","year":"2006","unstructured":"van der Aalst, W., de Medeiros, A.A., Weijters, A.: Process equivalence: Comparing two process models based on observed behavior. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol.\u00a04102, Springer, Heidelberg (2006)"},{"key":"16_CR25","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPM Center (2005)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:27:33Z","timestamp":1619519253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540756972"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_16","relation":{},"subject":[]}}