{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:40Z","timestamp":1761610360471,"version":"build-2065373602"},"reference-count":33,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)81041-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"22-43","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"title":["Partial Order Trace Analyzer (POTA) for Distributed Programs"],"prefix":"10.1016","volume":"89","author":[{"given":"Alper","family":"Sen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB1","article-title":"Dynamic event generation for runtime checking using the JDI","author":"Brorkens","year":"2002","journal-title":"Runtime Verification 2002, volume 70 of ENTCS"},{"issue":"1","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","article-title":"Distributed snapshots: Determining global states of distributed systems","volume":"3","author":"Chandy","year":"1985","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB3","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/200994.201005","article-title":"Local and temporal predicates in distributed systems","volume":"17","author":"Charron-Bost","year":"1995","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB4","unstructured":"E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In Proc. of the Workshop on Logics of Programs, volume 131 of LNCS, Yorktown Heights, New York, May 1981."},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB5","doi-asserted-by":"crossref","unstructured":"R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 163\u2013173, Santa Cruz, CA, May 1991. ACM\/ONR.","DOI":"10.1145\/122759.122774"},{"year":"1990","series-title":"Introduction to Lattices and Order","author":"Davey","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB6"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB7","first-page":"323","author":"Drusinsky","year":"2000","journal-title":"The Temporal Rover and the ATG Rover In SPIN Model Checking and Verification, volume 1885 of LNCS"},{"issue":"2","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","article-title":"Model checking using net unfoldings","volume":"23","author":"Esparza","year":"1994","journal-title":"Science of Computer Programming"},{"issue":"8","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB9","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","article-title":"Logical Time in Distributed Computing Systems","volume":"24","author":"Fidge","year":"1991","journal-title":"IEEE Computer"},{"year":"2002","series-title":"Elements of Distributed Computing","author":"Garg","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB10"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB11","doi-asserted-by":"crossref","unstructured":"V. K. Garg and N. Mittal. On Slicing a Distributed Computation. In Proc. of the 15th International Conference on Distributed Computing Systems (ICDCS), pages 322\u2013329, Phoenix, Arizona, 2001.","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB12","doi-asserted-by":"crossref","unstructured":"P. Godefroid and P. Wolper. A partial approach to model checking. In Proc. of the 6th IEEE Symposium on Logic in Computer Science, pages 406\u2013415, 1991.","DOI":"10.1109\/LICS.1991.151664"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB13","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and Specification. August 1997."},{"year":"1998","series-title":"Concurrent Programming: The Java Programming Language","author":"Hartley","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB15","article-title":"Monitoring Java Programs with Java PathExplorer","author":"Havelund","year":"2001","journal-title":"Runtime Verification 2001, volume 55 of ENTCS"},{"issue":"5","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB16","doi-asserted-by":"crossref","DOI":"10.1109\/32.588521","article-title":"The Model Checker SPIN","volume":"23","author":"Holzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB17","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1109\/32.707701","article-title":"Efficient detection of conjunctions of local predicates","volume":"24","author":"Hurfin","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB18","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/s100090050045","article-title":"Formalization and Validation of the General Inter-ORB Protocol (GIOP) Using Promela and SPIN","volume":"2","author":"Kamel","year":"2000","journal-title":"Software Tools for Technology Transfer"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB19","article-title":"Java-MaC: a Run-time Assurance Tool for Java Programs","author":"Kim","year":"2001","journal-title":"Runtime Verification 2001, volume 55 of ENTCS"},{"issue":"7","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB20","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":"21","author":"Lamport","year":"1978","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB21","doi-asserted-by":"crossref","unstructured":"S. Leue and P.B. Ladkin. Implementing and verifying msc specifications using promela\/xspin. In Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System, volume 32 of DIMACS Series, 1997.","DOI":"10.1090\/dimacs\/032\/06"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB22","unstructured":"F. Mattern. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms: Proc. of the Int'l Workshop on Parallel and Distributed Algorithms, pages 215\u2013226. Elsevier Science Publishers B. V. (North-Holland), 1989."},{"year":"1993","series-title":"Symbolic Model Checking","author":"McMillan","key":"10.1016\/S1571-0661(04)81041-7_NEWBIB23"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB24","doi-asserted-by":"crossref","unstructured":"N. Mittal and V. K. Garg. Computation Slicing: Techniques and Theory. In In Proc. of the 15th International Symposium on Distributed Computing (DISC), pages 78\u201392, Lisbon, Portugal, 2001.","DOI":"10.1007\/3-540-45414-4_6"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB25","doi-asserted-by":"crossref","unstructured":"N. Mittal and V. K. Garg. On Detecting Global Predicates in Distributed Computations. In Proc. of the 15th International Conference on Distributed Computing Systems (ICDCS), pages 3\u201310, Phoenix, Arizona, 2001.","DOI":"10.1109\/ICDSC.2001.918927"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB26","doi-asserted-by":"crossref","unstructured":"D. Peled. All from One, One for All: On Model Checking Using Representatives. In 5th Int'l. Conference on Computer-Aided Verification (CAV), pages 409\u2013423. Springer, Berlin, Heidelberg, 1993.","DOI":"10.1007\/3-540-56922-7_34"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB27","unstructured":"POTA. http:\/\/maple.ece.utexas.edu\/~sen\/POTA.html."},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB28","unstructured":"A. Sen and V. K. Garg. Automatic Generation of Slices for Temporal Logic Predicate Detection. Technical Report TR-PDS-2002\u2013001, PDSL, ECE Dept. Univ. of Texas at Austin, 2002. Available at http:\/\/maple.ece.utexas.edu\/."},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB29","doi-asserted-by":"crossref","unstructured":"A. Sen and V. K. Garg. Detecting Temporal Logic Predicates on the Happened-Before Model. In Proc. of the International Parallel and Distributed Processing Symposium (IPDPS), Fort Lauderdale, Florida, 2002.","DOI":"10.1109\/IPDPS.2002.1015583"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB30","doi-asserted-by":"crossref","unstructured":"K. Sen, G. Rosu, and G. Agha. Runtime Safety Analysis of Multithreaded Programs. TR UIUCDCS-R-2003\u20132334, Univ. of Illinois at Urbana Champaign, April 2003.","DOI":"10.1145\/940112.940116"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB31","doi-asserted-by":"crossref","unstructured":"S. D. Stoller and Y. Liu. Efficient Symbolic Detection of Global Properties in Distributed Systems. In 10th Int'l. Conference on Computer-Aided Verification (CAV), volume 1447 of LNCS, pages 357\u2013368, 1998.","DOI":"10.1007\/BFb0028758"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB32","doi-asserted-by":"crossref","unstructured":"S. D. Stoller, L. Unnikrishnan, and Y. A. Liu. Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. In 12th Int'l. Conference on Computer-Aided Verification (CAV), volume 1855 of LNCS, pages 264\u2013279, 2000.","DOI":"10.1007\/10722167_22"},{"key":"10.1016\/S1571-0661(04)81041-7_NEWBIB33","doi-asserted-by":"crossref","unstructured":"A. Valmari. A Stubborn Attack On State Explosion. In 2nd Int'l. Conference on Computer-Aided Verification (CAV), volume 531 of LNCS, pages 156\u2013165, Berlin, Germany, 1990.","DOI":"10.1007\/BFb0023729"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810417?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810417?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:44Z","timestamp":1761610004000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104810417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S1571066104810417"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)81041-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Partial Order Trace Analyzer (POTA) for Distributed Programs","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)81041-7","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}