{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:26:31Z","timestamp":1729646791049,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/inista.2016.7571841","type":"proceedings-article","created":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T21:03:28Z","timestamp":1474578208000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["A comparison between Jason and F# programming languages for the enactment of business agents"],"prefix":"10.1109","author":[{"given":"Florin","family":"Leon","sequence":"first","affiliation":[]},{"given":"Costin","family":"Badica","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Business Process Management: A Rigorous Approach","author":"ould","year":"2005","journal-title":"British Computer Society"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2903220.2903253"},{"article-title":"Jason: a Java-based interpreter for an extended version of AgentSpeak","year":"0","author":"bordini","key":"ref10"},{"key":"ref6","first-page":"277","article-title":"Formal verification of business processes represented as role activity diagrams","author":"b?dic?","year":"2011","journal-title":"Proceedings of the Federated Conference on Computer Science and Information Systems FedCSIS 2011 IEEE Press"},{"key":"ref11","first-page":"51","article-title":"Design of a multiagent system for solving search problems","volume":"16","author":"leon","year":"2010","journal-title":"Journal of Engineering Studies and Research"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2003.1267638"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031845"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1824795.1824799"},{"journal-title":"Programming multi-agent systems in AgentSpeak using Jason","year":"2007","author":"bordini","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/130994.130998"}],"event":{"name":"2016 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA)","start":{"date-parts":[[2016,8,2]]},"location":"Sinaia, Romania","end":{"date-parts":[[2016,8,5]]}},"container-title":["2016 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7565275\/7571814\/07571841.pdf?arnumber=7571841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T12:10:43Z","timestamp":1475669443000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7571841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/inista.2016.7571841","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}