{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:34Z","timestamp":1759147594693},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77351-1_5","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:58Z","timestamp":1196940238000},"page":"51-65","source":"Crossref","is-referenced-by-count":28,"title":["A Process-Algebraic Approach to Workflow Specification and Refinement"],"prefix":"10.1007","author":[{"given":"Peter Y. H.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/11423348_18","volume-title":"Communicating Sequential Processes","author":"S. Creese","year":"2005","unstructured":"Creese, S.: Industrial Strength CSP: Opportunities and Challenges in Model-Checking. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, p. 292. Springer, Heidelberg (2005)"},{"key":"5_CR3","unstructured":"Davies, J.: The CSP Package (March 2001), ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/CSP\/LaTeX\/csp.sty"},{"key":"5_CR4","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual (1998), www.fsel.com"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-540-27813-9_19","volume-title":"Computer Aided Verification","author":"C. Fournet","year":"2004","unstructured":"Fournet, C., Hoare, T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 242\u2013254. Springer, Heidelberg (2004)"},{"key":"5_CR6","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR7","unstructured":"Hollingsworth, D.: The Workflow Reference Model. Technical Report WFMC-TC-1003, Workflow Management Coalition (January 1995)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/11423348_6","volume-title":"Communicating Sequential Processes","author":"M. Josephs","year":"2005","unstructured":"Josephs, M.: Models for Data-Flow Sequential Processes. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 85\u201397. Springer, Heidelberg (2005)"},{"key":"5_CR9","unstructured":"Kiepuszewski, B.: Expressiveness and Suitability of languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane, Australia (2002)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/11423348_9","volume-title":"Communicating Sequential Processes","author":"J. Lawrence","year":"2005","unstructured":"Lawrence, J.: Practical Application of CSP and FDR to Software Design. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 151\u2013174. Springer, Heidelberg (2005)"},{"key":"5_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR12","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR13","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 \u03c0-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"5_CR14","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"5_CR15","unstructured":"Stefansen, C.: SMAWL: A SMAll workflow language based on CCS. Technical Report TR-06-05, Harvard University, Mar (2005)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Databases and Information Systems","author":"S.A. Stupnikov","year":"2002","unstructured":"Stupnikov, S.A., Kalinichenko, L.A., Dong, J.S.: Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. In: Manolopoulos, Y., N\u00e1vrat, P. (eds.) ADBIS 2002. LNCS, vol.\u00a02435, Springer, Heidelberg (2002)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"5","key":"5_CR18","first-page":"1","volume":"3","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Pi Calculus Versus Petri Nets: Let Us Eat Humble Pie Rather Than Further Inflate the Pi Hype. BPTrends\u00a03(5), 1\u201311 (2005)","journal-title":"BPTrends"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"5_CR20","unstructured":"W3C. Web Service Choreography Interface 1.0 (2002), www.w3.org\/TR\/wsci\/"},{"key":"5_CR21","unstructured":"Welch, P.H., Barnes, F.R.M.: Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Communicating Process Architectures 2005. Concurrent Systems Engineering Series, vol.\u00a063, pp. 289\u2013316 (2005)"},{"key":"5_CR22","unstructured":"Wong, P.Y.H.: Towards a unified model for workflow orchestration and choreography, Transfer dissertation, Oxford University Computing Laboratory (2006)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN, submitted for publication. Extended version (2007), available at http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/peter.wong\/pub\/bpmn-extended.pdf","DOI":"10.1007\/978-3-540-88194-0_22"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77351-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:20Z","timestamp":1619521760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77351-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773504"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77351-1_5","relation":{},"subject":[]}}