{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T12:58:30Z","timestamp":1648990710846},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10703-011-0126-0","type":"journal-article","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T07:50:52Z","timestamp":1309852252000},"page":"1-19","source":"Crossref","is-referenced-by-count":3,"title":["Transparent partial order reduction"],"prefix":"10.1007","volume":"40","author":[{"given":"Stephen F.","family":"Siegel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"126_CR1","volume-title":"Foundations of multithreaded, parallel, and distributed programming","author":"GR Andrews","year":"2000","unstructured":"Andrews GR (2000) Foundations of multithreaded, parallel, and distributed programming. Addison-Wesley, Reading"},{"key":"126_CR2","volume-title":"Model checking","author":"EM Clarke Jr.","year":"1999","unstructured":"Clarke EM Jr., Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge"},{"key":"126_CR3","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/B:FORM.0000040028.49845.67","volume":"25","author":"MB Dwyer","year":"2004","unstructured":"Dwyer MB, Hatcliff J, Robby, Ranganath VP (2004) Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Form Methods Syst Des 25:199\u2013240","journal-title":"Form Methods Syst Des"},{"key":"126_CR4","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-36135-9_20","volume-title":"Formal techniques for networked and distributed systems\u2014FORTE 2002","author":"D Giannakopoulou","year":"2002","unstructured":"Giannakopoulou D, Lerda F (2002) From states to transitions: Improving translation of LTL formulae to B\u00fcchi automata. In: Peled D, Vardi M (eds) Formal techniques for networked and distributed systems\u2014FORTE 2002. LNCS, vol 2529. Springer, Berlin, pp 308\u2013326"},{"key":"126_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid P (1996) Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. Springer, Berlin"},{"issue":"3","key":"126_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10703-006-0006-1","volume":"29","author":"LM Kristensen","year":"2006","unstructured":"Kristensen LM, Schmidt K, Valmari A (2006) Question-guided stubborn set methods for state properties. Form Methods Syst Des 29(3):215\u2013251","journal-title":"Form Methods Syst Des"},{"key":"126_CR7","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"Computer-aided verification, 5th intl conference (CAV \u201993)","author":"D Peled","year":"1993","unstructured":"Peled D (1993) All from one, one for all: On model checking using representatives. In: Courcoubetis C (ed) Computer-aided verification, 5th intl conference (CAV \u201993). LNCS, vol 697. Springer, Berlin, pp\u00a0409\u2013423"},{"issue":"1","key":"126_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D Peled","year":"1996","unstructured":"Peled D (1996) Combining partial order reductions with on-the-fly model-checking. Form Methods Syst Des 8(1):39\u201364","journal-title":"Form Methods Syst Des"},{"key":"126_CR9","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"Computer aided verification, 10th intl conference (CAV \u201998)","author":"D Peled","year":"1998","unstructured":"Peled D (1998) Ten years of partial order reduction. In: Hu AJ, Vardi MY (eds) Computer aided verification, 10th intl conference (CAV \u201998). LNCS, vol 1427. Springer, Berlin, pp 17\u201328"},{"issue":"3","key":"126_CR10","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1011202615884","volume":"19","author":"D Peled","year":"2001","unstructured":"Peled D, Valmari A, Kokkarinen I (2001) Relaxed visibility enhances partial order reduction. Form Methods Syst Des 19(3):275\u2013289","journal-title":"Form Methods Syst Des"},{"key":"126_CR11","series-title":"DIMACS series in discrete mathematics and theoretical computer science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1090\/dimacs\/029\/13","volume-title":"Partial order methods in verification: workshop on partial order methods in verification","author":"DA Peled","year":"1997","unstructured":"Peled DA (1997) Partial order reduction: linear and branching temporal logics and process algebras. In: Peled DA, Pratt VR, Holzmann GJ (eds) Partial order methods in verification: workshop on partial order methods in verification, Princeton University, July 24\u201326, 1996. DIMACS series in discrete mathematics and theoretical computer science, vol 29. Am. Math. Soc., Providence, pp 233\u2013258"},{"key":"126_CR12","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-3-540-30579-8_27","volume-title":"Verification, model checking, and abstract interpretation: Proceedings of 6th international conference, VMCAI 2005","author":"SF Siegel","year":"2005","unstructured":"Siegel SF (2005) Efficient verification of halting properties for MPI programs with wildcard receives. In: Cousot R (ed) Verification, model checking, and abstract interpretation: Proceedings of 6th international conference, VMCAI 2005, Paris, January 17\u201319, 2005. LNCS, vol 3385, pp 413\u2013429"},{"key":"126_CR13","unstructured":"Siegel SF (2011) Reexamining two results in partial order reduction. Technical Report UD-CIS-2011\/06. University of Delaware. http:\/\/vsl.cis.udel.edu\/pubs\/por_tr_2011.html"},{"key":"126_CR14","volume-title":"MPI\u2014the complete reference, volume\u00a01: the MPI core","author":"M Snir","year":"1998","unstructured":"Snir M, Otto S, Huss-Lederman S, Walker D, Dongarra J (1998) MPI\u2014the complete reference, volume\u00a01: the MPI core, 2nd edn. MIT Press, Cambridge","edition":"2"},{"issue":"4","key":"126_CR15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00709154","volume":"1","author":"A Valmari","year":"1992","unstructured":"Valmari A (1992) A stubborn attack on state explosion. Form Methods Syst Des 1(4):297\u2013322","journal-title":"Form Methods Syst Des"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0126-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-011-0126-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0126-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T19:03:58Z","timestamp":1560366238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-011-0126-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,6]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["126"],"URL":"https:\/\/doi.org\/10.1007\/s10703-011-0126-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,6]]}}}