{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:46:55Z","timestamp":1725500815683},"reference-count":20,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/reldis.1994.336897","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T14:36:54Z","timestamp":1040135814000},"page":"181-190","source":"Crossref","is-referenced-by-count":2,"title":["Exploiting program semantics for efficient instrumentation of distributed event recognitions"],"prefix":"10.1109","author":[{"given":"M.","family":"Spezialetti","sequence":"first","affiliation":[]},{"given":"R.","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90058-U"},{"key":"ref11","first-page":"215","author":"mattern","year":"1989","journal-title":"Parallel and Distributed Algorithms"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SUPERC.1992.236654"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90028-T"},{"key":"ref14","first-page":"382","article-title":"Efficient Global Snapshots","author":"spezialetti","year":"1986","journal-title":"Proc 6th ICDCS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DCS.1988.12530"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1989.37931"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1990.93963"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1994.302481"},{"key":"ref19","article-title":"Perturbation Analysis: A Static Analysis Approach for the Non-Intrusive Monitoring of Parallel Programs","author":"spezialetti","year":"1994","journal-title":"ICPP"},{"key":"ref4","first-page":"55","article-title":"Timestamps in Message Passing Systems that Preserve the Partial Ordering","author":"fidge","year":"1988","journal-title":"Proc 11th Australian Computer Science Conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/13677.22723"},{"key":"ref5","first-page":"66","article-title":"DTM - A Method for Testing Distributed Systems","author":"haban","year":"1987","journal-title":"Proc 11th Symp Reliable Distributed Software and Database Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122774"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90011-0"},{"key":"ref9","first-page":"512","article-title":"Event Driven Monitoring of Distributed Programs","author":"leblanc","year":"1985","journal-title":"Proc ICDCS"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/2.50269"}],"event":{"name":"IEEE 13th Symposium on Reliable Distributed Systems","acronym":"RELDIS-94","location":"Dana Point, CA, USA"},"container-title":["Proceedings of IEEE 13th Symposium on Reliable Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/1003\/7913\/00336897.pdf?arnumber=336897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T09:17:18Z","timestamp":1489051038000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/336897\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/reldis.1994.336897","relation":{},"subject":[]}}