{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:32Z","timestamp":1725514712972},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682646"},{"type":"electronic","value":"9783540682653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68265-3_6","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T15:35:39Z","timestamp":1212593739000},"page":"83-99","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs"],"prefix":"10.1007","author":[{"given":"Mikkel","family":"Bundgaard","sequence":"first","affiliation":[]},{"given":"Arne John","family":"Glenstrup","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Hildebrandt","sequence":"additional","affiliation":[]},{"given":"Espen","family":"H\u00f8jsgaard","sequence":"additional","affiliation":[]},{"given":"Henning","family":"Niss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., H\u00f8jsgaard, E.: An extensible formalization of WS-BPEL in binding bigraphs (submitted for publication, 2008)"},{"key":"6_CR2","unstructured":"Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., H\u00f8jsgaard, E., Niss, H.: Formalizing WS-BPEL and higher order mobile embedded business processes in the bigraphical programming languages (BPL) tool. Technical Report TR-2008-103, IT University of Copenhagen (2008)"},{"key":"6_CR3","series-title":"ENTCS","first-page":"7","volume-title":"Proceedings of GT-VC 2005","author":"M. Bundgaard","year":"2006","unstructured":"Bundgaard, M., Hildebrandt, T.: Bigraphical semantics of higher-order mobile embedded resources with local names. In: Proceedings of GT-VC 2005. ENTCS, vol.\u00a0154, pp. 7\u201329. Elsevier, Amsterdam (2006)"},{"key":"6_CR4","series-title":"ENTCS","first-page":"23","volume-title":"Proceedings of SecCo 2007","author":"M. Bundgaard","year":"2007","unstructured":"Bundgaard, M., Hildebrandt, T., Godskesen, J.C.: Modelling the security of smart cards by hard and soft types for higher-order mobile embedded resources. In: Proceedings of SecCo 2007. ENTCS, vol.\u00a0194, pp. 23\u201338. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.11.005","volume":"201","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal calculus. Journal of Information and Computation\u00a0201(1), 1\u201354 (2005)","journal-title":"Journal of Information and Computation"},{"issue":"1\u20132","key":"6_CR7","first-page":"58","volume":"13","author":"T.C. Damgaard","year":"2006","unstructured":"Damgaard, T.C., Birkedal, L.: Axiomatizing binding bigraphs. Nordic Journal of Computing\u00a013(1\u20132), 58\u201377 (2006)","journal-title":"Nordic Journal of Computing"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1140335.1140344","volume-title":"Proceedings of PPDP 2006","author":"P. Garralda","year":"2006","unstructured":"Garralda, P., Compagnoni, A.B., Dezani-Ciancaglini, M.: BASS: Boxed ambients with safe sessions. In: Proceedings of PPDP 2006, pp. 61\u201372. ACM Press, New York (2006)"},{"key":"6_CR9","unstructured":"Glenstrup, A.J., Damgaard, T.C., Birkedal, L., H\u00f8jsgaard, E.: An implementation of bigraph matching (submitted, 2008)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11590156_11","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"J.C.. Godskesen","year":"2005","unstructured":"Godskesen, J.C., Hildebrandt, T.: Extending Howe\u2019s method to early bisimulations for typed mobile embedded resources with local names. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 140\u2013151. Springer, Heidelberg (2005)"},{"key":"6_CR11","unstructured":"Hildebrandt, T.: Computer supported mobile adaptive business processes (CosmoBiz) research project. Webpage (2007), \n                  \n                    http:\/\/www.cosmobiz.org\/"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11767954_8","volume-title":"Coordination Models and Languages","author":"T. Hildebrandt","year":"2006","unstructured":"Hildebrandt, T., Niss, H., Olsen, M.: Formalising business process execution with bigraphs and Reactive XML. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 113\u2013129. Springer, Heidelberg (2006)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-540-40020-2_14","volume-title":"Recent Trends in Algebraic Development Techniques","author":"K. Hoffmann","year":"2003","unstructured":"Hoffmann, K., Mossakowski, T.: Algebraic higher-order nets: Graphs and petri nets as tokens. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 253\u2013267. Springer, Heidelberg (2003)"},{"key":"6_CR14","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge \u2013 Computer Laboratory (2004)"},{"key":"6_CR15","unstructured":"Kloppmann, M., Koenig, D., Leymann, F., Pfau, G., Rickayzen, A., von Reigen, C., Schmidt, P., Trickovic, I.: WS-BPEL extension for sub-processes: BPEL-SPE. White paper, IBM and SAP (2005)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11767954_10","volume-title":"Coordination Models and Languages","author":"A. Lapadula","year":"2006","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A WSDL-based type system for WS-BPEL. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 145\u2013163. Springer, Heidelberg (2006)"},{"key":"6_CR17","unstructured":"Microsoft. Microsoft dynamics mobile development tools white paper - extending business solutions to the mobile workforce. Webpage (June 2007), \n                  \n                    http:\/\/dynamicsuser.net\/files\/folders\/94158\/download.aspx"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73228-0_23","volume-title":"Typed Lambda Calculi and Applications","author":"D. Mostrous","year":"2007","unstructured":"Mostrous, D., Yoshida, N.: Two session typing systems for higher-order mobile processes. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol.\u00a04583, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"6_CR19","unstructured":"Russell, N., ter Hofstede, A.H., van der Aalst, W.M., Mulyar, N.: Workflow control-flow patterns: A revised view. BPM Center Report BPM-06-22, BPMcenter.org (2006)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"Proceedings of TAPSOFT 1993","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From pi-calculus to higher-order pi-calculus - and back. In: CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 151\u2013166. Springer Verlag, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68265-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:46:27Z","timestamp":1620017187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68265-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682646","9783540682653"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68265-3_6","relation":{},"subject":[]}}