{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:10Z","timestamp":1761610390620,"version":"build-2065373602"},"reference-count":19,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"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":4046,"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":[[2002,7]]},"DOI":"10.1016\/s1571-0661(05)80440-2","type":"journal-article","created":{"date-parts":[[2005,5,19]],"date-time":"2005-05-19T09:46:30Z","timestamp":1116495990000},"page":"50-64","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":13,"title":["Slicing Synchronous Reactive Programs"],"prefix":"10.1016","volume":"65","author":[{"given":"Vinod","family":"Ganapathy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1992","series-title":"The Esterel Synchronous Programming Language: Design, Semantics and Applications, Science of Computer Programming, 19(2)","author":"Berry","key":"10.1016\/S1571-0661(05)80440-2_BIB1"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA363556","author":"Clarke","year":"1999","journal-title":"Program Slicing of Hardware Description Languages, Proc. of Charme'99"},{"volume":"8","year":"1989","author":"Drusinsky","key":"10.1016\/S1571-0661(05)80440-2_BIB3"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB4","article-title":"Model Checking and Modular Verification","volume":"Vol 527","author":"Grumberg","year":"1991"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB5","series-title":"Kluwer Academic Publishers","article-title":"Synchronous Programming of Reactive Systems","author":"Halbwachs","year":"1993"},{"issue":"3","key":"10.1016\/S1571-0661(05)80440-2_BIB6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Approach to Complex Systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"issue":"4","key":"10.1016\/S1571-0661(05)80440-2_BIB7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","article-title":"The STATEMATE Semantics of Statecharts","volume":"5","author":"Harel","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB8","series-title":"IEEE Transactions on Software Engineering","article-title":"The model checker SPIN","author":"Holzmann","year":"1997"},{"year":"1998","series-title":"Static Slicing of Threaded Programs, In Program Analysis for Software Tools and Engineering (PASTE 98), ACMSOFT","author":"Krinke","key":"10.1016\/S1571-0661(05)80440-2_BIB9"},{"year":"1995","series-title":"Computer-aided Verification of Coordinating Processes","author":"Kurshan","key":"10.1016\/S1571-0661(05)80440-2_BIB10"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB11","series-title":"Proc. of IEEE International Conference on Visual Languages","article-title":"The Argos Language: Graphical Representation of Automata and Description of Reactive Systems","author":"Maraninchi","year":"1991"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB12","unstructured":"L. I. Millet and T. Teitelbaum, Slicing Promela and its applications to Model Checking, Simulation and Protocol understanding, In proc. of 4th workshop on Automata Theoretic Verification with the SPIN model checker, Nov. 1998."},{"key":"10.1016\/S1571-0661(05)80440-2_BIB13","series-title":"ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA 2000)","article-title":"Slicing Concurrent Programs","author":"Nanda","year":"2000"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB14","series-title":"IFAC Workshop on Distributed Control Systems, Pergamon Press","article-title":"Refinement and Efficient Verification of Synchronous Programs","author":"Ramesh","year":"2000"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB15","series-title":"on VLSI Design","article-title":"Efficient Translation of Statecharts into Hardware Circuits, Proc. of 12th Int. Conf.","author":"Ramesh","year":"1999"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB16","series-title":"IFAC Workshop on Distributed Computer Control Systems, Pergamon Press","article-title":"Communicating Reactive State Machines: Design, Model and Implementation","author":"Ramesh","year":"1998"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB17","article-title":"Survey of Program Slicing Techniques, J. of Program","volume":"Vol. 3","author":"Tip","year":"1995","journal-title":"Lang"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB18","article-title":"Efficient Verification of Synchronous Programs","author":"Vinod","year":"2001","journal-title":"B.Tech Project Report, Computer Science and Engineering Department, IIT Bombay"},{"key":"10.1016\/S1571-0661(05)80440-2_BIB19","first-page":"352","article-title":"Program Slicing","author":"Weiser","year":"1984"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804402?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804402?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:07:26Z","timestamp":1761610046000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105804402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S1571066105804402"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80440-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Slicing Synchronous Reactive 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(05)80440-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}