{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:27:58Z","timestamp":1742923678865,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319237800"},{"type":"electronic","value":"9783319237817"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23781-7_18","type":"book-chapter","created":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T12:52:22Z","timestamp":1443444742000},"page":"227-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Object $$\\pi $$-Calculus and Document Workflows"],"prefix":"10.1007","author":[{"given":"Bartosz","family":"Zieli\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u015acibor","family":"Sobieski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Kruszy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Sysak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Ma\u015blanka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,29]]},"reference":[{"issue":"01","key":"18_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Van der Aalst","year":"1998","unstructured":"Van der Aalst, W.M.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"issue":"5","key":"18_CR2","first-page":"1","volume":"3","author":"WM Van der Aalst","year":"2005","unstructured":"Van der Aalst, W.M.: Pi calculus versus Petri nets: Let us eat humble pie rather than further inflate the pi hype. BPTrends 3(5), 1\u201311 (2005)","journal-title":"BPTrends"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-01364-5_2","volume-title":"Web Services and Formal Methods","author":"K Barkaoui","year":"2009","unstructured":"Barkaoui, K., Boucheneb, H., Hicheur, A.: Modelling and analysis of time-constrained flexible workflows with time recursive ECATNets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 19\u201336. Springer, Heidelberg (2009)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-78238-4_24","volume-title":"Business Process Management Workshops","author":"K Barkaoui","year":"2008","unstructured":"Barkaoui, K., Hicheur, A.: Towards analysis of flexible and collaborative workflow using recursive ECATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"18_CR5","volume-title":"Handbook of Process Algebra","author":"JA Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56379-2_39","volume-title":"Recent Trends in Data Type Specification","author":"M Bettaz","year":"1993","unstructured":"Bettaz, M., Maouche, M.: How to specify non determinism and true concurrency with algebraic term nets. In: Bidoit, M., Choppy, C. (eds.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol. 655, pp. 164\u2013180. Springer, Heidelberg (1993)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. Electron. Notes Theor. Comput. Sci. 105, 73\u201394 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"unstructured":"De Nicola, R.: A gentle introduction to process algebras. Notes 7 (2014). https:\/\/goo.gl\/ZkLOK1","key":"18_CR8"},{"key":"18_CR9","series-title":"Communications in computer and information science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-15915-2_7","volume-title":"S-BPM ONE \u2013 Setting the Stage for Subject-Oriented Business Process Management","author":"A Fleischmann","year":"2010","unstructured":"Fleischmann, A.: What Is S-BPM? In: Buchwald, H., Fleischmann, A., Seese, D., Stary, C. (eds.) S-BPM ONE 2009. CCIS, vol. 85, pp. 85\u2013106. Springer, Heidelberg (2010)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"RJ van Glabbeek","year":"1996","unstructured":"van Glabbeek, R.J.: The meaning of negative premises in transition system specifications II. In: Meyer auf der Heide, F., Monien, B. (eds.) ICALP 1996. LNCS, vol. 1099. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Goel, A., Choppella, V.: Algebraic modelling of educational workflows. In: 2012 IEEE Fourth International Conference on Technology for Education (T4E), pp. 153\u2013156. IEEE (2012)","key":"18_CR11","DOI":"10.1109\/T4E.2012.60"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-1-4615-4493-7_48","volume-title":"Discrete Event Systems","author":"S Haddad","year":"2000","unstructured":"Haddad, S., Poitrenaud, D.: Modelling and analyzing systems with recursive Petri nets. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems, pp. 449\u2013458. Springer, USA (2000)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-21464-6_5","volume-title":"Coordination Models and Languages","author":"M Kleine","year":"2011","unstructured":"Kleine, M.: CSP as a coordination language. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 65\u201379. Springer, Heidelberg (2011)"},{"key":"18_CR14","volume-title":"The Polyadic $$\\pi $$-Calculus: A Tutorial","author":"R Milner","year":"1993","unstructured":"Milner, R.: The Polyadic $$\\pi $$-Calculus: A Tutorial. Springer, Heidelberg (1993)"},{"key":"18_CR15","volume-title":"Communicating and Mobile Systems: The Pi Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J Parrow","year":"2001","unstructured":"Parrow, J.: An introduction to the $$\\pi $$-calculus. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 479\u2013543. Elsevier, Amsterdam (2001)"},{"unstructured":"Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. In: Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993, LICS 1993, pp. 376\u2013385. IEEE (1993)","key":"18_CR17"},{"key":"18_CR18","first-page":"77","volume":"85","author":"F Puhlmann","year":"2006","unstructured":"Puhlmann, F.: Why do we actually need the pi-calculus for business process management? BIS 85, 77\u201389 (2006)","journal-title":"BIS"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F Puhlmann","year":"2005","unstructured":"Puhlmann, F., Weske, M.: Using the $$\\pi $$-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-00899-3_4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"F Puhlmann","year":"2009","unstructured":"Puhlmann, F., Weske, M.: A look around the corner: the pi-calculus. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 64\u201378. Springer, Heidelberg (2009)"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-62064-8_17","volume-title":"Perspectives of System Informatics","author":"N Raja","year":"1996","unstructured":"Raja, N., Shyamasundar, R.: Actors as a coordinating model of computation. In: Bjorner, D., Broy, M., Pottosin, I.V. (eds.) PSI 1996. LNCS, vol. 1181, pp. 191\u2013202. Springer, Heidelberg (1996)"},{"unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets (1974)","key":"18_CR22"},{"unstructured":"Ryan, M.D., Smyth, B.: Applied pi calculus (2011)","key":"18_CR23"},{"unstructured":"Saeedloei, N., Gupta, G.: An extension of $$\\pi $$-calculus with real-time and its realization in logic programming. In: Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012), p. 153 (2012)","key":"18_CR24"},{"unstructured":"Smith, H., Fingar, P.: Workflow is just a pi process. BPTrends, pp. 1\u201336, November 2003","key":"18_CR25"},{"issue":"4","key":"18_CR26","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WM Van Der Aalst","year":"2005","unstructured":"Van Der Aalst, W.M., Ter Hofstede, A.H.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Walker, D.: $$\\pi $$-calculus semantics of object-oriented programming languages. In: Theoretical Aspects of Computer Software. pp. 532\u2013547. Springer (1991)","key":"18_CR27","DOI":"10.1007\/3-540-54415-1_63"},{"issue":"2","key":"18_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D Walker","year":"1995","unstructured":"Walker, D.: Objects in the $$\\pi $$-calculus. Inf. Comput. 116(2), 253\u2013271 (1995)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23781-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T13:31:44Z","timestamp":1674567104000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23781-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319237800","9783319237817"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23781-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"29 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}