{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:30:49Z","timestamp":1648830649221},"reference-count":28,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2018,1,2]]},"DOI":"10.1080\/17445760.2017.1288808","type":"journal-article","created":{"date-parts":[[2017,2,14]],"date-time":"2017-02-14T04:21:23Z","timestamp":1487046083000},"page":"35-51","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["An ASM-based characterisation of starvation-free systems"],"prefix":"10.1080","volume":"33","author":[{"given":"Alessandro","family":"Bianchi","sequence":"first","affiliation":[{"name":"Department of Informatics, University of Bari, Bari, Italy"}]},{"given":"Sebastiano","family":"Pizzutilo","sequence":"additional","affiliation":[{"name":"Department of Informatics, University of Bari, Bari, Italy"}]},{"given":"Gennaro","family":"Vessio","sequence":"additional","affiliation":[{"name":"Department of Informatics, University of Bari, Bari, Italy"}]}],"member":"301","published-online":{"date-parts":[[2017,2,14]]},"reference":[{"key":"CIT0001","volume-title":"Discrete, continuous and hybrid petri nets","author":"David R","year":"2005"},{"key":"CIT0002","first-page":"9","volume-title":"Specification and validation methods","author":"Gurevich Y","year":"1995"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48257-1_1"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.017"},{"issue":"1","key":"CIT0007","first-page":"71","volume":"77","author":"Farahbod R","year":"2007","journal-title":"Fund Inform"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"CIT0010","first-page":"283","volume-title":"Enterprise, business-process and information systems modeling - proceeding of the 20th International Conference on Exploring Modeling Methods for Systems Analysis and Design, lecture notes on Business Information Processing - LNBIP\/214. Cham, Switzerland: Springer International Publishing","author":"Bianchi A","year":"2015"},{"issue":"1","key":"CIT0011","first-page":"140","volume":"84","author":"Bianchi A","year":"2016","journal-title":"J Theor Appl Inform Technol"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"CIT0014","first-page":"29","volume":"1","author":"Bianchi A","year":"2014","journal-title":"Global J Adv Softw Eng"},{"key":"CIT0015","first-page":"209","volume":"22","author":"Reisig W","year":"2003","journal-title":"Comput Inform"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343384"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/937555"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11447-2"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0249-7"},{"issue":"11","key":"CIT0022","first-page":"981","volume":"7","author":"St\u00e4rk RF","year":"2001","journal-title":"J Univers Comput Sci"},{"key":"CIT0024","volume-title":"14th International ASM Workshop","author":"Farahbod R","year":"2007"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2012.05.002"},{"key":"CIT0030","volume-title":"Modern operating systems","author":"Tanenbaum A","year":"2007"},{"key":"CIT0032","volume-title":"Principles of model checking","author":"Baier C","year":"2008"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.07.018"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/983018"},{"key":"CIT0037","unstructured":"Gl\u00e4sser U, Gurevich Y, Veanes M. An abstract communication model. Redmond, WA: Microsoft Research Corp. 2002. (Microsoft Research Technical Report, MSR-TR-2002-55)."},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"CIT0040","volume-title":"Introduction to wireless and mobile systems","author":"Agrawal DP","year":"2003"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1109\/2.43525"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2017.1288808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T07:36:16Z","timestamp":1512372976000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2017.1288808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,14]]},"references-count":28,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,5,5]]},"published-print":{"date-parts":[[2018,1,2]]}},"alternative-id":["10.1080\/17445760.2017.1288808"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2017.1288808","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"value":"1744-5760","type":"print"},{"value":"1744-5779","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,14]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}