{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:45:01Z","timestamp":1729622701030,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iccp.2015.7312707","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:03:35Z","timestamp":1446505415000},"page":"483-490","source":"Crossref","is-referenced-by-count":0,"title":["Semantic investigation of a control-flow subset of BPMN 2.0"],"prefix":"10.1109","author":[{"given":"Eneia Nicolae","family":"Todoran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulina","family":"Mitrea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Report on the Programming Language Haskell 98 A Non-Strict Purely Functional Language","year":"1999","author":"peyton jones","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"journal-title":"Concurrency Theory and Practice","year":"1997","author":"roscoe","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351297"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCP.2008.4648367"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2008.208"},{"journal-title":"Using Z Specification Proof and Refinement","year":"1996","author":"woodcock","key":"ref16"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","article-title":"A process semantics for BPMN","volume":"5256","author":"wong","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.09.010"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.06.029"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/FI-2014-1020","article-title":"Continuation semantics for asynchronous concurrency","volume":"131","author":"ciobanu","year":"2014","journal-title":"Fundamenta Informaticae"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16298-5_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90053-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref2","first-page":"21","article-title":"Timed process calculi: from durationless actions to durational ones","author":"bernardo","year":"2014","journal-title":"Proc Of ICTC"},{"journal-title":"Control Flow Semantics","year":"1996","author":"de bakker","key":"ref1"},{"journal-title":"Communicating and Mobile Systems The ?-Calculus","year":"1999","author":"milner","key":"ref9"},{"journal-title":"OMG BPMN specification","year":"2013","key":"ref20"},{"journal-title":"jBPM Version 6 2 0 documentation","year":"0","key":"ref21"}],"event":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","start":{"date-parts":[[2015,9,3]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2015,9,5]]}},"container-title":["2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7301668\/7312586\/07312707.pdf?arnumber=7312707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T20:14:28Z","timestamp":1599768868000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7312707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccp.2015.7312707","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}