{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:13:13Z","timestamp":1729609993657,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318265","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T17:52:50Z","timestamp":1447091570000},"page":"105-114","source":"Crossref","is-referenced-by-count":6,"title":["Executing dataflow actors as kahn processes"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Tretter","sequence":"first","affiliation":[]},{"given":"Jani","family":"Boutellier","sequence":"additional","affiliation":[]},{"given":"James","family":"Guthrie","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Schor","sequence":"additional","affiliation":[]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2012.6288215"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2014.6855227"},{"key":"ref12","first-page":"471","article-title":"The Semantics of a Simple Language for Parallel Programming","volume":"74","author":"kahn","year":"1974","journal-title":"Proc IFIP Congr Inform Process"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511770524.006"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2010.936032"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090642"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2380403.2380422"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","article-title":"Event structures","author":"winskel","year":"1987","journal-title":"Lecture Notes in Computer Science No 255 Petri Nets Applications and Relationships to Other Models of Concurrency"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(82)80002-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-012-0676-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-009-0389-5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z 3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391663"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"journal-title":"Open RVC-CAL Application Repository","year":"2014","key":"ref1"},{"key":"ref9","article-title":"CAL Language Report. Technical report","author":"eker","year":"2003","journal-title":"University Of California Berkeley"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4018\/jertcs.2012010103"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547699"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2502081.2502231"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318265.pdf?arnumber=7318265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T19:14:41Z","timestamp":1498245281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318265","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}