{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:46:17Z","timestamp":1648853177852},"reference-count":18,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1016\/0140-3664(93)90049-x","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T18:34:07Z","timestamp":1060281247000},"page":"328-333","source":"Crossref","is-referenced-by-count":12,"title":["Debugging tool for distributed Estelle programs"],"prefix":"10.1016","volume":"16","author":[{"given":"Michel","family":"Hurfin","sequence":"first","affiliation":[]},{"given":"No\u00ebl","family":"Plouzeau","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Raynal","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0140-3664(93)90049-X_BIB1","series-title":"Fundamentals of Software Engineering","author":"Ghezzi","year":"1991"},{"issue":"No 7","key":"10.1016\/0140-3664(93)90049-X_BIB2","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks and the ordering of events in a distributed system","volume":"Vol 21","author":"Lamport","year":"1978","journal-title":"Commun. ACM"},{"issue":"No 4","key":"10.1016\/0140-3664(93)90049-X_BIB3","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1987.1676929","article-title":"Debugging parallel programs with instant replay","volume":"Vol 36","author":"Leblanc","year":"1987","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0140-3664(93)90049-X_BIB4","series-title":"Proc. 2nd Euro. Distributed Memory Computing Conf.","first-page":"315","article-title":"Efficient execution replay techniques for distributed memory architectures","author":"Leu","year":"1991"},{"issue":"No 1","key":"10.1016\/0140-3664(93)90049-X_BIB5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","article-title":"Distributed snapshots: determining global states of distributed systems","volume":"Vol 3","author":"Chandy","year":"1985","journal-title":"ACM Trans. Comput. Syst."},{"key":"10.1016\/0140-3664(93)90049-X_BIB6","series-title":"Proc. 10th IEEE Int. Conf. on Distributed Comput. Syst.","first-page":"134","article-title":"Causal distributed break points","author":"Fowler","year":"1990"},{"issue":"Nos 3\u20134","key":"10.1016\/0140-3664(93)90049-X_BIB7","first-page":"191","article-title":"Distributed debugging techniques","volume":"Vol 16","author":"Adam","year":"1991","journal-title":"Foundations of Computing and Decision Sci."},{"key":"10.1016\/0140-3664(93)90049-X_BIB8","series-title":"Technical Report 215\/91","article-title":"Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail","author":"Schwarz","year":"1991"},{"issue":"No 2","key":"10.1016\/0140-3664(93)90049-X_BIB9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/356842.356846","article-title":"Concurrency control in distributed database system","volume":"Vol 13","author":"Bernstein","year":"1981","journal-title":"Comput. Surv."},{"issue":"No 3","key":"10.1016\/0140-3664(93)90049-X_BIB10","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1145\/3959.3962","article-title":"Optimistic recovery in distributed systems","volume":"Vol 3","author":"Strom","year":"1985","journal-title":"ACM Trans. Comput. Syst."},{"issue":"No 1","key":"10.1016\/0140-3664(93)90049-X_BIB11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1987.232562","article-title":"Checkpointing and rollback-recovery for distributed systems","volume":"Vol 13","author":"Koo","year":"1987","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0140-3664(93)90049-X_BIB12","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1016\/0196-6774(90)90022-7","article-title":"Recovery in distributed systems using optimistic message logging and checkpointing","volume":"Vol 11","author":"Johnson","year":"1990","journal-title":"J. Algorithms"},{"issue":"No 1","key":"10.1016\/0140-3664(93)90049-X_BIB13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/TSE.1987.232564","article-title":"Discarding obsolete information in a replicated database","volume":"Vol 13","author":"Sarin","year":"1987","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0140-3664(93)90049-X_BIB14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction to Estelle: a specification language for distributed systems","volume":"Vol 14","author":"Budkowski","year":"1987","journal-title":"Comput. Networks & ISDN Syst."},{"issue":"No 5","key":"10.1016\/0140-3664(93)90049-X_BIB15","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1002\/cpe.4330040504","article-title":"ECHIDNA, an Estelle-compiler to prototype protocols on distributed computers","volume":"Vol 4","author":"Jard","year":"1992","journal-title":"Concurrency Practice and Experience"},{"issue":"No 8","key":"10.1016\/0140-3664(93)90049-X_BIB16","doi-asserted-by":"crossref","DOI":"10.1145\/63030.63036","article-title":"Application of splay trees to data compression","volume":"Vol 31","author":"Jones","year":"1988","journal-title":"Commun. ACM"},{"key":"10.1016\/0140-3664(93)90049-X_BIB17","series-title":"Proc. 12th IEEE Int. Conf. Distributed Computing Syst.","first-page":"700","article-title":"A synchronization and concurrency measure for distributed computations","author":"Raynal","year":"1992"},{"key":"10.1016\/0140-3664(93)90049-X_BIB18","series-title":"Proc. Hawaii Int. Conf. on Syst. Sci.","article-title":"Global events and global breakpoints in distributed systems","author":"Haban","year":"1988"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649390049X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649390049X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:54:25Z","timestamp":1552625665000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/014036649390049X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["014036649390049X"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(93)90049-x","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}