{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:19:04Z","timestamp":1725527944921},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005145"},{"type":"electronic","value":"9783642005152"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00515-2_8","type":"book-chapter","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T05:38:40Z","timestamp":1236058720000},"page":"103-118","source":"Crossref","is-referenced-by-count":6,"title":["The MEB and CEB Static Analysis for CSP Specifications"],"prefix":"10.1007","author":[{"given":"Michael","family":"Leuschel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marisa","family":"Llorens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Oliver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005: Formal Methods","author":"M. Butler","year":"2005","unstructured":"Butler, M., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Callahan, D., Sublok, J.: Static analysis of low-level synchronization. In: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and Distributed Debugging (PADD 1988), New York, NY, USA, pp. 100\u2013111 (1988)","DOI":"10.1145\/68210.69225"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BFb0019411","volume-title":"Automated and Algorithmic Debugging","author":"J. Cheng","year":"1993","unstructured":"Cheng, J.: Slicing concurrent programs - a graph-theoretical approach. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol.\u00a0749, pp. 223\u2013240. Springer, Heidelberg (1993)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems\u00a09(3), 319\u2013349 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G., Sinha, S.: Computation of interprocedural control dependence. In: International Symposium on Software Testing and Analysis, pp. 11\u201320 (1998)","DOI":"10.1145\/271771.271780"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/357980.358021","volume":"26","author":"C.A.R. Hoare","year":"1983","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications ACM\u00a026(1), 100\u2013106 (1983)","journal-title":"Communications ACM"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Kavi, K.M., Sheldon, F.T., Shirazi, B.: Reliability analysis of CSP specifications using petri nets and markov processes. In: Proceedings 28th Annual Hawaii International Conference on System Sciences. Software Technology, January 3-6, Wailea, HI, vol.\u00a02, pp. 516\u2013524 (1995)","DOI":"10.1109\/HICSS.1995.375505"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs. In: Workshop on Program Analysis For Software Tools and Engineering, pp. 35\u201342 (1998)","DOI":"10.1145\/277631.277638"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitive slicing of concurrent programs. ACM SIGSOFT Software Engineering Notes\u00a028(5) (2003)","DOI":"10.1145\/949952.940096"},{"key":"8_CR10","volume-title":"Responsive Computer Systems","author":"P. Ladkin","year":"1995","unstructured":"Ladkin, P., Simons, B.: Static deadlock analysis for csp-type communications. In: Responsive Computer Systems, ch.\u00a05. Kluwer Academic Publishers, Dordrecht (1995)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. Journal of Software Tools for Technology Transfer\u00a010(2), 185\u2013203 (2008)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-540-88194-0_18","volume-title":"ICFEM 2008","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Fontaine, M.: Probing the depths of CSP-M: A new FDR-compliant validation tool. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 278\u2013297. Springer, Heidelberg (2008)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Nanda, M.G., Ramesh, S.: Slicing concurrent programs. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, New York, NY, USA, pp. 180\u2013190 (2000)","DOI":"10.1145\/347324.349121"},{"issue":"6","key":"8_CR14","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/291252.288213","volume":"23","author":"G. Naumovich","year":"1998","unstructured":"Naumovich, G., Avrunin, G.S.: A conservative data flow algorithm for detecting all pairs of statements that happen in parallel. SIGSOFT Software Engineering Notes\u00a023(6), 24\u201334 (1998)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W., Gardiner, P.H.B., Goldsmith, M., Hulance, J.R., Jackson, D.M., Scattergood, J.B.: Hierarchical compression for model-checking CSP or how to check 10 $^{\\mbox{20}}$ dining philosophers for deadlock. In: Proceedings of the First International Workshop Tools and Algorithms for Construction and Analysis of Systems, pp. 133\u2013152 (1995)","DOI":"10.1007\/3-540-60630-0_7"},{"key":"8_CR16","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"},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M.D. Weiser","year":"1984","unstructured":"Weiser, M.D.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR18","unstructured":"Zhao, J., Cheng, J., Ushijima, K.: Slicing concurrent logic programs. In: Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, pp. 143\u2013162 (1997)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Zhao, J.: Slicing aspect-oriented software. In: Proceedings of the 10th IEEE International Workshop on Programming Comprehension, pp. 251\u2013260 (2002)","DOI":"10.1109\/WPC.2002.1021346"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00515-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T07:00:30Z","timestamp":1558162830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00515-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005145","9783642005152"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00515-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}