{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171974},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_3","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T07:53:44Z","timestamp":1131695624000},"page":"18-34","source":"Crossref","is-referenced-by-count":18,"title":["PiDuce: A Process Calculus with Native XML Datatypes"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Allen L.","family":"Brown","sequence":"first","affiliation":[]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[]},{"given":"L. Gregory","family":"Meredith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/B978-155860869-6\/50115-3","volume-title":"VLDP 2002: Proceedings of the Twenty-Eighth International Conference on Very Large Data Bases","author":"S. Abiteboul","year":"2002","unstructured":"Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: Peer-to-peer data and Web services integration. In: VLDP 2002: Proceedings of the Twenty-Eighth International Conference on Very Large Data Bases, Hong Kong SAR, China, pp. 1087\u20131090. Morgan Kaufmann, San Francisco (2002)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11494881_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Acciai","year":"2005","unstructured":"Acciai, L., Boreale, M.: XPi: a typed process calculus for XML messaging. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 47\u201366. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems\u00a015(4), 575\u2013631 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR4","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services. Version 1.1. Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems (2003)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/944705.944711","volume-title":"Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003)","author":"V. Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), pp. 51\u201363. ACM Press, New York (2003)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-30101-1_9","volume-title":"Formal Methods for Components and Objects","author":"K. Bhargavan","year":"2004","unstructured":"Bhargavan, K., Fournet, C., Gordon, A., Pucella, R.: Tulafale: A security tool for web services. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 197\u2013222. Springer, Heidelberg (2004)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45694-5_22","volume-title":"CONCUR 2002 - Concurrency Theory","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in join calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 321\u2013337. Springer, Heidelberg (2002)"},{"key":"3_CR8","unstructured":"Carpineti, S., Laneve, C.: A rude contract language for web services. Extended Abstract (2005), at, http:\/\/www.cs.unibo.it\/BoPi"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/ACSD.2005.6","volume-title":"5th International Conference on Application of Concurrency to System Design (ACSD 2005)","author":"S. Carpineti","year":"2005","unstructured":"Carpineti, S., Laneve, C., Milazzo, P.: BoPi: a distributed machine for experimenting web services technologies. In: 5th International Conference on Application of Concurrency to System Design (ACSD 2005), pp. 202\u2013212. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR10","volume-title":"20th IEEE Symposium on Logic in Computer Science (LICS 2005)","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Nicola, R.D., Varacca, D.: Semantic subtyping for the \u03c0-calculus. In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005). IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-24607-7_9","volume-title":"Database Programming Languages","author":"P. Gardner","year":"2004","unstructured":"Gardner, P., Maffeis, S.: Modelling dynamic web data. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 130\u2013146. Springer, Heidelberg (2004)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (TOIT)\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology (TOIT)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/351240.351242","volume-title":"Proceedings of the International Conference on Functional Programming (ICFP)","author":"H. Hosoya","year":"2000","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming (ICFP), pp. 11\u201322. ACM Press, New York (2000)"},{"key":"3_CR14","unstructured":"Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web Services Choreography Description Languages. Oracle Corporation (2003)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Leymann, F.: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)","DOI":"10.1007\/3-540-45752-6_1"},{"key":"3_CR17","unstructured":"Lugiez, D., Jacquemard, F., Comon, H., Tommasi, M., Dauchet, M., Gilleron, R., Tison, S.: Tree automata techniques and applications (2002)"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Journal of Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Journal of Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Journal of Information and Computation"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science\u00a06(5) (1996)","DOI":"10.1017\/S096012950007002X"},{"key":"3_CR21","unstructured":"Turner, D.N.: The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, ECS-LFCS-96-345 (1996)"},{"key":"3_CR22","unstructured":"Woodgate, S., Mohr, S., Loesgen, B.: Microsoft BizTalk Server 2004 Unleashed. Sams (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T06:39:22Z","timestamp":1683268762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11549970_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}