{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:37:04Z","timestamp":1725565024942},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221142"},{"type":"electronic","value":"9783540246855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24685-5_52","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T17:18:16Z","timestamp":1283966296000},"page":"405-408","source":"Crossref","is-referenced-by-count":1,"title":["Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications"],"prefix":"10.1007","author":[{"given":"Xiaofang","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baowen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/269629.269637","volume-title":"ACM TRI-Ada International Conference","author":"J. Cheng","year":"1997","unstructured":"Cheng, J.: Task dependence nets for concurrent systems with Ada 95 and its applications. In: ACM TRI-Ada International Conference, pp. 67\u201378. ACM Press, St. Louis (1997)"},{"key":"52_CR2","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/277633.277638","volume":"7","author":"J. Krinke","year":"1998","unstructured":"Krinke, J.: Static slicing of threaded program. ACM SIGPLAN Notices\u00a07, 35\u201342 (1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"52_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/347636.349121","volume":"25","author":"M.G. Nanda","year":"2000","unstructured":"Nanda, M.G., Ramesh, S.: Slicing concurrent programs. ACM SIGSOFT Software Engineering Notes\u00a025, 180\u2013190 (2000)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"52_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/PDSE.1999.779735","volume-title":"International Symposium on Software Engineering for Parallel and Distributed Systems","author":"J. Zhao","year":"1999","unstructured":"Zhao, J.: Multithreaded dependence graphs for concurrent Java programs. In: International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 13\u201323. IEEE CS press, Los Angeles (1999)"},{"key":"52_CR6","first-page":"159","volume":"39","author":"Z.Q. Chen","year":"2002","unstructured":"Chen, Z.Q., Xu, B.W.: An Approach to Analyzing Dependence of Concurrent Programs. Journal of Computer Research and Development\u00a039, 159\u2013164 (2002)","journal-title":"Journal of Computer Research and Development"},{"key":"52_CR7","first-page":"37","volume":"38","author":"X.F. Qi","year":"2002","unstructured":"Qi, X.F., Chen, Z.Q., Xu, B.W.: A Petri Net Representation of Concurrent Ada Program and Its Application for Communication Slice. Journal of Nanjing University\u00a038, 37\u201342 (2002)","journal-title":"Journal of Nanjing University"},{"key":"52_CR8","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/32.553699","volume":"22","author":"M.B. Dwyer","year":"1996","unstructured":"Dwyer, M.B., Clarke, L.A.: A Compact Petri Net Representation and Its Implication for Analysis. IEEE Transaction on Software Engineering\u00a022, 794\u2013811 (1996)","journal-title":"IEEE Transaction on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computational Science - ICCS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24685-5_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T01:00:34Z","timestamp":1553043634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24685-5_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221142","9783540246855"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24685-5_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}