{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:34:27Z","timestamp":1784241267073,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569220","type":"print"},{"value":"9783540477877","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:54:28Z","timestamp":1330257268000},"page":"409-423","source":"Crossref","is-referenced-by-count":256,"title":["All from one, one for all: on model checking using representatives"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern, F.B. Schneider, Defining liveness, Information Processing Letters 21 (1985), 181\u2013185.","journal-title":"Information Processing Letters"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"K. Apt","year":"1988","unstructured":"K. Apt, N. Francez, S. Katz, Appraising fairness in languages for distributed programming, Distributed Computing, Vol 2 (1988), 226\u2013241.","journal-title":"Distributed Computing"},{"key":"34_CR3","first-page":"321","volume":"3","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid, Using partial orders to improve automatic verification methods, CAV'90, DIMACS Series, Vol 3, 1991, 321\u2013339.","journal-title":"CAV'90, DIMACS Series"},{"key":"34_CR4","series-title":"LNCS 575","first-page":"332","volume-title":"CAV'91","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid, P. Wolper, Using partial orders for the efficient verification of dead-lock freedom and safety properties, CAV'91, Aalborg, Denmark, 1991, LNCS 575, Springer-Verlag, 332\u2013342."},{"key":"34_CR5","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, A preliminary version, titled An efficient verification method for parallel and distributed programs, appeared in: Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, The Netherlands, 1988, LNCS 354, Springer-Verlag, 489\u2013507.","journal-title":"Distributed Computing"},{"key":"34_CR6","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, a preliminary version appeared in BCS-FACS Workshop on Semantics for Concurrency, Leicester, England, July 1990, Springer-Verlag, 262\u2013280.","journal-title":"Theoretical Computer Science"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"M. Z. Kwiatkowska, Fairness for non-interleaving concurrency, Phd. Thesis, Faculty of Science, University of Leicester, 1989.","DOI":"10.1007\/BF01887206"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein, A. Pnueli, Checking that finite-state concurrent programs satisfy their linear specification, 11th ACM POPL, 1984, 97\u2013107.","DOI":"10.1145\/318593.318622"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli, How to cook a temporal proof system for your pet language. 9th ACM POPL, Texas, 1983, 141\u2013151.","DOI":"10.1145\/567067.567082"},{"key":"34_CR10","series-title":"LNCS 255","first-page":"279","volume-title":"Advances in Petri Nets 1968","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz, Trace semantics, in: W. Brauer, W. Reisig, G. Rozenberg (eds.) Advances in Petri Nets 1968, Bad Honnef, LNCS 255, Springer-Verlag, 1987, 279\u2013324."},{"key":"34_CR11","volume-title":"Ph.D. dissertation","author":"W. T. Overman","year":"1981","unstructured":"W.T. Overman, Verification of concurrent systems: function and timing, Ph.D. dissertation, University of California at Los Angeles 1981, 174p."},{"key":"34_CR12","series-title":"LNCS 630","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BFb0084792","volume-title":"CONCUR'92","author":"D. Peled","year":"1992","unstructured":"D. Peled, 'sometimes\u2019 sometimes is as good as \u2018always', CONCUR'92, Stony Brook, NY, USA, August 1992, LNCS 630, Springer-Verlag 1992, 192\u2013206."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"D. Peled, A. Pnueli, Proving partial order liveness properties, 17th ICA7P, LNCS 443, Springer-Verlag, 1990, 553\u201371.","DOI":"10.1007\/BFb0032058"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"34_CR15","first-page":"1","volume":"2","author":"A. Valmari","year":"1989","unstructured":"A. Valmari, Stubborn sets for reduced state space generation, 10 th International Conference on Application and Theory of Petri Nets, Vol. 2, 1\u201322, Bonn, 1989.","journal-title":"10th International Conference on Application and Theory of Petri Nets"},{"key":"34_CR16","first-page":"25","volume":"3","author":"A. Valmari","year":"1991","unstructured":"A. Valmari, A Stubborn attack on state explosion, CAV'90, DIMACS Series, Vol 3, 1991, 25\u201342.","journal-title":"CAV'90, DIMACS Series"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:07:49Z","timestamp":1640927269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}