{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:36:33Z","timestamp":1725903393531},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319630458"},{"type":"electronic","value":"9783319630465"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63046-5_22","type":"book-chapter","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T13:34:07Z","timestamp":1499693647000},"page":"357-370","source":"Crossref","is-referenced-by-count":4,"title":["WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition"],"prefix":"10.1007","author":[{"given":"Petros","family":"Papapanagiotou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Fleuriot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,11]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0304-3975(94)00103-0","volume":"135","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S.: Proofs as processes. Theoret. Comput. Sci. 135(1), 5\u20139 (1994)","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Alexandru, C., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J., Manataki, A.: A Step Towards the Standardisation of HIV Care Practices, November 2016","key":"22_CR2","DOI":"10.5220\/0006251304570462"},{"issue":"1","key":"22_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0304-3975(94)00104-9","volume":"135","author":"G Bellin","year":"1994","unstructured":"Bellin, G., Scott, P.: On the $$\\pi $$ -calculus and linear logic. TCS 135(1), 11\u201365 (1994)","journal-title":"TCS"},{"unstructured":"Bog, A., Puhlmann, F.: A tool for the simulation of $$\\pi $$ -calculus systems. Tech. rep., Open.BPM, Gesch\u00e4ftsprozessmanagement mit Open Source-Technologien, Hamburg, Germany (2006)","key":"22_CR4"},{"unstructured":"Boulton, R.J., Gordon, A.D., Gordon, M.J.C., Harrison, J., Herbert, J., Tassel, J.V.: Experience with embedding hardware description languages in HOL. In: Stavridou, V., Melham, T.F., Boute, R.T. (eds.) TPCD. IFIP Transactions, vol. A-10, pp. 129\u2013156. North-Holland (1992)","key":"22_CR5"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 222\u2013236. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15375-4_16"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-45848-4_57","volume-title":"Graph Drawing","author":"J Ellson","year":"2002","unstructured":"Ellson, J., Gansner, E., Koutsofios, L., North, S.C., Woodhull, G.: Graphviz\u2014 open source graph drawing tools. In: Mutzel, P., J\u00fcnger, M., Leipert, S. (eds.) GD 2001. LNCS, vol. 2265, pp. 483\u2013484. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45848-4_57"},{"unstructured":"Ferg, S.: Event-Driven Programming: Introduction, Tutorial, History (2016). http:\/\/eventdrivenpgm.sourceforge.net\/","key":"22_CR8"},{"doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Linear logic: its syntax and semantics. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, vol. 222. London Mathematical Society Lecture Notes Series. Cambridge University Press (1995), http:\/\/iml.univ-mrs.fr\/~girard\/Synsem.pdf.gz","key":"22_CR9","DOI":"10.1017\/CBO9780511629150.002"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-45616-3_23","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"L Habert","year":"2002","unstructured":"Habert, L., Notin, J.-M., Galmiche, D.: LINK: a proof environment based on proof nets. In: Egly, U., Ferm\u00fcller, C.G. (eds.) TABLEAUX 2002. LNCS, vol. 2381, pp. 330\u2013334. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45616-3_23"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0031814","volume-title":"Formal Methods in Computer-Aided Design","author":"J Harrison","year":"1996","unstructured":"Harrison, J.: HOL light: a tutorial introduction. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol. 1166, pp. 265\u2013269. Springer, Heidelberg (1996). doi: 10.1007\/BFb0031814"},{"unstructured":"Howard, W.A.: The formulas-as-types notion of construction. In: Seldin, J.P., Hindley, J.R. (eds.) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pp. 479\u2013490. Academic Press (1980)","key":"22_CR12"},{"unstructured":"JGraph Ltd: The JGraph homepage (2013). http:\/\/www.jgraph.com\/","key":"22_CR13"},{"issue":"1","key":"22_CR14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D Miller","year":"1996","unstructured":"Miller, D.: Forum: a multiple-conclusion specification logic. TCS 165(1), 201\u2013232 (1996)","journal-title":"TCS"},{"key":"22_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)"},{"unstructured":"Object Management Group: Business Process Model and Notation (BPMN), version 2.0 (2011). http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF","key":"22_CR16"},{"issue":"12","key":"22_CR17","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1080\/0144929X.2013.824506","volume":"33","author":"P Papapanagiotou","year":"2014","unstructured":"Papapanagiotou, P., Fleuriot, J.: Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33(12), 1278\u20131293 (2014)","journal-title":"Behav. Inf. Technol."},{"key":"22_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-319-15895-2_3","volume-title":"Business Process Management Workshops","author":"P Papapanagiotou","year":"2015","unstructured":"Papapanagiotou, P., Fleuriot, J.: Modelling and implementation of correct by construction healthcare workflows. In: Fournier, F., Mendling, J. (eds.) BPM 2014. LNBIP, vol. 202, pp. 28\u201339. Springer, Cham (2015). doi: 10.1007\/978-3-319-15895-2_3"},{"unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language User Guide. Addison-Wesley (1999)","key":"22_CR19"},{"issue":"3","key":"22_CR20","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF00885763","volume":"12","author":"T Tammet","year":"1994","unstructured":"Tammet, T.: Proof strategies in linear logic. J. Autom. Reasoning 12(3), 273\u2013304 (1994)","journal-title":"J. Autom. Reasoning"},{"unstructured":"Troelstra, A.S.: Lectures on Linear Logic. CSLI Lecture Notes, vol. 29, Stanford (1992)","key":"22_CR21"},{"doi-asserted-by":"crossref","unstructured":"Wadler, P.: Propositions as sessions. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, pp. 273\u2013286. ACM (2012)","key":"22_CR22","DOI":"10.1145\/2364527.2364568"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE 26"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63046-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,30]],"date-time":"2022-07-30T18:03:57Z","timestamp":1659204237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63046-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319630458","9783319630465"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63046-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}