{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:20:38Z","timestamp":1729668038924,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/icspcs.2011.6140872","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T21:48:55Z","timestamp":1328046535000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["Deadlock in Process Networks: A dynamic detection and resolution"],"prefix":"10.1109","author":[{"given":"Maria","family":"Castillo","sequence":"first","affiliation":[]},{"given":"Federico","family":"Farina","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Cordoba","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ICASSP.2007.366165"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/800222.806755"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/CSSE.2008.1468"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/PDP.2006.22"},{"key":"ref14","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/337292.337511"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/78.824694"},{"year":"1995","author":"parks","article-title":"Bounded scheduling of process networks","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/VTSA.2001.934515"},{"key":"ref8","article-title":"Efficient execution of process networks","author":"basten","year":"2001","journal-title":"Communicating Process Architectures"},{"key":"ref7","article-title":"Requirements on the execution of kahn process networks","author":"geilen","year":"2003","journal-title":"12th European Symposium on Programming"},{"key":"ref2","article-title":"An mpeg-2 decoder case study as a driver for a system level design methodology","author":"van der wolf","year":"1999","journal-title":"7th Int'l Workshop on Hardware\/Software Codesign"},{"key":"ref1","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"IFIP Congress"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1109\/ASAP.2005.18","article-title":"Artificial deadlock detection in process networks for eclipse","author":"bharath","year":"2005","journal-title":"16th Int Conf Application Specific Systems Architecture and Processors"}],"event":{"name":"2011 5th International Conference on Signal Processing and Communication Systems (ICSPCS 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Honolulu, HI, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 5th International Conference on Signal Processing and Communication Systems (ICSPCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6133550\/6140814\/06140872.pdf?arnumber=6140872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T03:15:34Z","timestamp":1561259734000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6140872\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icspcs.2011.6140872","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}