{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:12:00Z","timestamp":1767262320488},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631668"},{"type":"electronic","value":"9783540691952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63166-6_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:14:06Z","timestamp":1330298046000},"page":"328-339","source":"Crossref","is-referenced-by-count":8,"title":["Relaxed visibility enhances partial order reduction"],"prefix":"10.1007","author":[{"given":"Ilkka","family":"Kokkarinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"C. Courcoubetis, M. Vardi, P. Wolper, M. Yannakakis, Memory-efficient algorithms for the verification of temporal properties, Formal Methods in System Design 1 (1992) 275\u2013288.","journal-title":"Formal Methods in System Design"},{"key":"33_CR2","first-page":"3","volume-title":"PSTV95, Protocol Specification Testing and Verification","author":"R. Gerth","year":"1995","unstructured":"R. Gerth, D. Peled, M. Vardi, P. Wolper, Simple On-the-fly Automatic Verification of Linear Temporal Logic, PSTV95, Protocol Specification Testing and Verification, 3\u201318, Chapman & Hall, 1995, Warsaw, Poland."},{"key":"33_CR3","series-title":"LNCS 531","first-page":"176","volume-title":"Using partial orders to improve automatic verification methods","author":"P. Godefroid","year":"1990","unstructured":"P. Godefroid. Using partial orders to improve automatic verification methods. In Proc. 2nd Workshop on Computer Aided Verification, LNCS 531, Springer-Verlag, New Brunswick, NJ, 1990, 176\u2013185."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"P. Godefroid, D. Pirottin, Refining dependencies improves partial order verification methods, 5th Conference on Computer Aided Verification, Elounda, Greece, LNCS 697, Springer-Verlag, 1993, 438\u2013449.","DOI":"10.1007\/3-540-56922-7_36"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid, P. Wolper, A Partial Approach to Model Checking, 6th Annual IEEE Symposium on Logic in Computer Science, 1991, Amsterdam, 406\u2013415.","DOI":"10.1109\/LICS.1991.151664"},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Verification of Distributed Programs using Representative Interleaving Sequences, Distributed Computing 6 (1992), 107\u2013120.","journal-title":"Distributed Computing"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Defining conditional independence using collapses, Theoretical Computer Science 101 (1992), 337\u2013359.","journal-title":"Theoretical Computer Science"},{"key":"33_CR8","unstructured":"I. Kokkarinen, Reduction of Parallel Labelled Transition Systems with Stubborn Sets, M. Sc. (Eng.) Thesis (in Finnish), 49 p."},{"key":"33_CR9","unstructured":"L. Lamport, What good is temporal logic, Information Processing 83, Elsevier Science Publishers, 1983, 657\u2013668."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"D. Peled, All from one, one for all, on model-checking using representatives, 5th Conference on Computer Aided Verification, Elounda, Greece, 1993, LNCS 697, Springer-Verlag, 409\u2013423.","DOI":"10.1007\/3-540-56922-7_34"},{"key":"33_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D. Peled","year":"1996","unstructured":"D. Peled. Combining partial order reductions with on-the-fly model-checking. Formal Methods in System Design 8 (1996), 39\u201364.","journal-title":"Formal Methods in System Design"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The temporal logic of programs, 18th FOCS, IEEE Symposium on Foundation of Computer Science, 1977, 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"A. Valmari, Stubborn sets for reduced state space generation, 10th International Conference on Application and Theory of Petri Nets, Bonn, Germany, 1989, LNCS 483, Springer-Verlag, 491\u2013515.","DOI":"10.1007\/3-540-53863-1_36"},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00709154","volume":"1","author":"A. Valmari","year":"1992","unstructured":"A. Valmari, A stubborn attack on state explosion. Formal Methods in System Design, 1 (1992), 297\u2013322.","journal-title":"Formal Methods in System Design"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"A. Valmari, On-the-fly Verification with Stubborn Sets, 5th Conference on Computer Aided Verification, Elounda, Greece, 1993, LNCS 697, Springer-Verlag, 397\u2013408.","DOI":"10.1007\/3-540-56922-7_33"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"B. Willems, P. Wolper, Partial-Order Methods for Model Checking: From Linear Time to Branching Time, 11th Annual IEEE Symposium on Logic in Computer Science, 1996.","DOI":"10.1109\/LICS.1996.561357"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63166-6_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:44Z","timestamp":1605647804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63166-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631668","9783540691952"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63166-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}