{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:53Z","timestamp":1759637633629},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icdcs.2003.1203457","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"105-113","source":"Crossref","is-referenced-by-count":4,"title":["Software fault tolerance of distributed programs using computation slicing"],"prefix":"10.1109","author":[{"given":"N.","family":"Mittal","sequence":"first","affiliation":[]},{"given":"V.K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"78","article-title":"Computation Slicing: Techniques and Theory","author":"mittal","year":"2001","journal-title":"Proceedings of the Symposium on Distributed Computing (DISC)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918927"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/BFb0022156","article-title":"Faster Possibility Detection by Combining Two Approaches","author":"stoller","year":"1995","journal-title":"Proceedings of the Workshop on Distributed Algorithms (WDAG)"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/10722167_22","article-title":"Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods","author":"stoller","year":"2000","journal-title":"Proceedings of the 12th International Conference on Computer-Aided Verification (CAV)"},{"journal-title":"Elements of Distributed Computing","year":"2002","author":"garg","key":"ref4"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","article-title":"Partial-Order Methods for the Verification of Concurrent Systems","author":"godefroid","year":"1996"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3078-9_12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122774"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940566"},{"key":"ref9","article-title":"Techniques for Analyzing Distributed Computations","author":"mittal","year":"0","journal-title":"The University of Texas at Austin"}],"event":{"name":"23rd International Conference on Distributed Computing Systems, 2003.","location":"Providence, Rhode Island, USA"},"container-title":["23rd International Conference on Distributed Computing Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8559\/27093\/01203457.pdf?arnumber=1203457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:15:32Z","timestamp":1497586532000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icdcs.2003.1203457","relation":{},"subject":[]}}