{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:02:45Z","timestamp":1729659765934,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/disrta.2002.1166900","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"143-150","source":"Crossref","is-referenced-by-count":0,"title":["An implementation of a distributed algorithm for detection of local knots and cycles in directed graphs based on the CSP model and Java"],"prefix":"10.1109","author":[{"given":"G.P.","family":"de Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.H.","family":"Pfitscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","first-page":"78","article-title":"The Real-Time Specification for Java","author":"hardin","year":"2000","journal-title":"Dr Dobb's Journal"},{"year":"0","key":"ref10"},{"year":"0","key":"ref11"},{"key":"ref12","article-title":"Distributed Computing based in Java on Beowulf and Heterogeneous Environment","author":"de souza","year":"2002","journal-title":"SBCCI 2002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.24714"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312900"},{"key":"ref15","first-page":"102","article-title":"A Distributed Deadlock Detection algorithm for CSP-Like Communication ACM Transactions on Programming Languages and Systems","volume":"12","author":"huang","year":"1990"},{"journal-title":"CTJ Project","article-title":"Communicating Threadsfor Java","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/45075.46163"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/319702.319717"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806755"},{"key":"ref28","first-page":"675p","article-title":"Optimizing Java-Specific Overheads: Java at the Spedd of C?","author":"veldema","year":"2001","journal-title":"The International Conference and Exhibittion on High-Performance Computing and Networking HPCN"},{"article-title":"Concurrent and Real-Time Systems: The CSP Approach","year":"2000","author":"schneider","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48228-8_73"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2000.839557"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/23.710972"},{"article-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"ref5"},{"journal-title":"JCSP Project","article-title":"Java Communication Sequential Processes","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/PDSE.2000.847856","article-title":"A CSP Modelfor Java Multithreading","author":"welch","year":"2000","journal-title":"Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000)"},{"article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref2"},{"key":"ref9","first-page":"51","article-title":"Process Oriented Design for Java Concurrency for All","volume":"1","author":"welch","year":"2000","journal-title":"PDPTA 2000"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/71.706047"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1145\/69622.357190","article-title":"A Distributed Graph Algorithm: Knot Detection","volume":"4","author":"chandy","year":"1982","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.263754"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782773"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90021-6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/357360.357365"},{"journal-title":"RTJEG the Real Time for Java Expert Group (2000)","article-title":"The Real-Time Specification for Java","year":"2000","key":"ref26"},{"key":"ref25","first-page":"43","article-title":"Real-Time Java Implementation for Embedded Systems","author":"weinberg","year":"1998","journal-title":"Real-Time Magazine"}],"event":{"name":"Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications","acronym":"DISRTA-02","location":"Fort Worth, TX, USA"},"container-title":["Proceedings. Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8345\/26308\/01166900.pdf?arnumber=1166900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:45:48Z","timestamp":1497552348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1166900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/disrta.2002.1166900","relation":{},"subject":[]}}