{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T02:40:08Z","timestamp":1739414408874,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104510"},{"type":"electronic","value":"9783642104527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10452-7_9","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T08:37:26Z","timestamp":1257323846000},"page":"118-133","source":"Crossref","is-referenced-by-count":5,"title":["A Mechanized Strategy for Safe Abstraction of CSP Specifications"],"prefix":"10.1007","author":[{"given":"Adriana","family":"Damasceno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adalberto","family":"Farias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/381694.378846","volume":"36","author":"T. Ball","year":"2001","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of C programs. ACM SIGPLAN Notices\u00a036(5), 203\u2013213 (2001)","journal-title":"ACM SIGPLAN Notices"},{"issue":"04","key":"9_CR2","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S0956796800000496","volume":"2","author":"F. Bourdoncle","year":"2008","unstructured":"Bourdoncle, F.: Abstract interpretation by dynamic partitioning. Journal of Functional Programming\u00a02(04), 407\u2013435 (2008)","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. Bryant","year":"1992","unstructured":"Bryant, R.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR)\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-44577-3_12","volume":"10","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the state explosion problem in model checking. Informatics-10 Years Back 10, 176\u2013194 (2001)","journal-title":"Informatics-10 Years Back"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"2004","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation Frameworks. Journal of Logic and Computation\u00a02(4), 511\u2013547 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-24756-2_7","volume-title":"Integrated Formal Methods","author":"A. Farias","year":"2004","unstructured":"Farias, A., Mota, A., Sampaio, A.: Efficient CSP-Z Data Abstraction. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 108\u2013127. Springer, Heidelberg (2004)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1590\/S0104-65002008000200003","volume":"14","author":"A. Farias","year":"2008","unstructured":"Farias, A., Mota, A., Sampaio, A.: Compositional abstraction of CSP-Z processes. Journal of the Brazilian Computer Society\u00a014, 23\u201344 (2008)","journal-title":"Journal of the Brazilian Computer Society"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol.\u00a02, pp. 423\u2013438 (1997)","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1590\/S0103-20702005000100012","volume":"17","author":"M. Forjaz","year":"2005","unstructured":"Forjaz, M.: The origins of Embraer. Tempo Social\u00a017, 281\u2013298 (2005)","journal-title":"Tempo Social"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"9_CR11","first-page":"259","volume":"71","author":"R. Lazic","year":"2000","unstructured":"Lazic, R., Roscoe, A.: A semantic study of data independence with applications to model checking. Bulletin-European Association For Theoretical Computer Science\u00a071, 259\u2013260 (2000)","journal-title":"Bulletin-European Association For Theoretical Computer Science"},{"key":"9_CR12","volume-title":"The Theory and Practice of Concurrency","author":"A. Roscoe","year":"1998","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1145\/1062455.1062565","volume-title":"ICSE 2005: Proceedings of the 27th international conference on Software engineering","author":"A. Sampaio","year":"2005","unstructured":"Sampaio, A., Albuquerque, C., Vasconcelos, J., Cruz, L., Figueiredo, L., Cavalcante, S.: Software test program: a software residency experience. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering, pp. 611\u2013612. ACM Press, New York (2005)"},{"key":"9_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Springer, Heidelberg (2000)"},{"key":"9_CR15","unstructured":"Systems, F.: Failures-Divergence Refinement - FDR2 User Manual, June 2005. Formal Systems (Europe) Ltd. (June 2005)"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s001650070026","volume":"12","author":"H. Wehrheim","year":"2000","unstructured":"Wehrheim, H.: Data Abstraction Techniques in the Validation of CSP-OZ Specifications. Formal Aspects of Computing\u00a012(3), 147\u2013164 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"9_CR18","volume-title":"Using Z: specification, refinement, and proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: specification, refinement, and proof. Prentice-Hall, Inc., Upper Saddle River (1996)"},{"issue":"3","key":"9_CR19","first-page":"105","volume":"89","author":"S. Yorav","year":"2003","unstructured":"Yorav, S., Clarke, E.: Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electronic Notes in Theoretical Computer Science\u00a089(3), 105\u2013127 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10452-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T02:01:06Z","timestamp":1739412066000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10452-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104510","9783642104527"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10452-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}