{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:06Z","timestamp":1725562566802},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_4","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"52-64","source":"Crossref","is-referenced-by-count":11,"title":["Static Deadlock Detection in the Linux Kernel"],"prefix":"10.1007","author":[{"given":"Peter T.","family":"Breuer","sequence":"first","affiliation":[]},{"given":"Marisol Garc\u00eda","family":"Valls","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1002\/spe.4380251106","volume":"25","author":"P.T. Breuer","year":"1995","unstructured":"Breuer, P.T., Bowen, J.P.: A PREttier Compiler-Compiler: Generating higher order parsers in C. Software \u2014 Practice & Experience\u00a025(11), 1263\u20131297 (1995)","journal-title":"Software \u2014 Practice & Experience"},{"key":"4_CR2","first-page":"34","volume-title":"Proc. 8\u2019th EuroMicro Workshop on Real Time Systems","author":"P.T. Breuer","year":"1996","unstructured":"Breuer, P.T., Mart\u00ednez Madrid, N., S\u00e1nchez, L., Mar\u00edn, A., Delgado Kloos, C.: A formal method for specification and refinement of real-time systems. In: Proc. 8\u2019th EuroMicro Workshop on Real Time Systems, July 1996, pp. 34\u201342. IEEE Press, L\u2019aquilla (1996)"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/262004.262007","volume":"19","author":"P.T. Breuer","year":"1997","unstructured":"Breuer, P.T., Delgado Kloos, C., Mart\u00ednez Madrid, N., L\u00f3pez Marin, A., S\u00e1nchez, L.: A Refinement Calculus for the Synthesis of Verified Digital or Analog Hardware Descriptions in VHDL. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a019(4), 586\u2013616 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-540-39893-6_34","volume-title":"Formal Methods and Software Engineering","author":"P.T. Breuer","year":"2003","unstructured":"Breuer, P.T.: A Formal Model for the Block Device Subsystem of the Linux Kernel. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 599\u2013619. Springer, Heidelberg (2003)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Chen, H., Wagner, D.: MOPS: An infrastructure for examining security properties of software. In: Proc. Ninth ACM Conference on Computer and Communications Security (CCS-9), Washington, DC, November 18-22 (2002)","DOI":"10.1145\/586139.586142"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. 4th ACM Symposium on the Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"4_CR7","volume-title":"The Cathedral and the Bazaar","author":"E.S. Raymond","year":"1999","unstructured":"Raymond, E.S.: The Cathedral and the Bazaar. O\u2019Reilly & Associates, Cambridge (1999)"},{"key":"4_CR8","volume-title":"Linux Device Drivers","author":"A. Rubini","year":"1998","unstructured":"Rubini, A.: Linux Device Drivers, February 1998. O\u2019Reilly, Sebastopol (1998)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:59Z","timestamp":1605761819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}