{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:57:31Z","timestamp":1725742651745},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401831"},{"type":"electronic","value":"9783642401848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40184-8_19","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:50:56Z","timestamp":1374529856000},"page":"257-272","source":"Crossref","is-referenced-by-count":8,"title":["Causality-Based Verification of Multi-threaded Programs"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Kupriyanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation - part i: Basic concepts and double pushout approach. In: Rozenberg [11], pp. 163\u2013246","DOI":"10.1142\/9789812384720_0003"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - part ii: Single pushout approach and comparison with double pushout approach. In: Rozenberg [11], pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"19_CR4","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking. EATCS Monographs in Theoretical Computer Science. Springer (2008)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Godefroid, P. (ed.): Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. LNCS, vol.\u00a01032. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-60761-7"},{"key":"19_CR6","unstructured":"Kupriyanov, A., Finkbeiner, B.: Causality-based verification of multi-threaded programs. Reports of SFB\/TR 14 AVACS\u00a092, SFB\/TR 14 AVACS (2013) ISSN: 1860-9821, \n                    \n                      http:\/\/www.avacs.org"},{"key":"19_CR7","unstructured":"Malkis, A.: Cartesian Abstraction and Verification of Multithreaded Programs. PhD thesis, Albert-Ludwigs-Universit\u00e4t Freiburg im Breisgau (2010)"},{"key":"19_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. Technical Report DAIMI PB 78, Aarhus University (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets \u2013 An Introduction. Springer (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific (1997)","DOI":"10.1142\/9789812384720"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2013 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40184-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:42:42Z","timestamp":1557960162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40184-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401831","9783642401848"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40184-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}