{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:30:44Z","timestamp":1720625444004},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"content-version":"vor","delay-in-days":10,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1016\/j.entcs.2013.09.013","type":"journal-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T10:48:12Z","timestamp":1384166892000},"page":"179-195","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["A Geometric View of Partial Order Reduction"],"prefix":"10.1016","volume":"298","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Mimram","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2013.09.013_br0010","series-title":"ACSD","first-page":"44","article-title":"Building tight occurrence nets from reveals relations","author":"Balaguer","year":"2011"},{"key":"10.1016\/j.entcs.2013.09.013_br0020","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-642-24270-0_7","article-title":"Rigorous evidence of freedom from concurrency faults in industrial control software","author":"Bonichon","year":"2011","journal-title":"Computer Safety, Reliability, and Security"},{"key":"10.1016\/j.entcs.2013.09.013_br0030","series-title":"Applications and Theory of Petri Nets","first-page":"129","article-title":"Branching processes of general petri nets","volume":"vol. 6709","author":"Couvreur","year":"2011"},{"key":"10.1016\/j.entcs.2013.09.013_br0040","series-title":"ESOP","first-page":"274","article-title":"Trace spaces: An efficient new technique for state-space reduction","author":"Fajstrup","year":"2012"},{"issue":"1","key":"10.1016\/j.entcs.2013.09.013_br0050","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1023\/B:APCS.0000013812.75342.de","article-title":"Components of the fundamental category","volume":"12","author":"Fajstrup","year":"2004","journal-title":"Applied Categorical Structures"},{"key":"10.1016\/j.entcs.2013.09.013_br0060","series-title":"POPL\u02bc05","first-page":"110","article-title":"Dynamic partial-order reduction for model checking software","author":"Flanagan","year":"2005"},{"key":"10.1016\/j.entcs.2013.09.013_br0070","article-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","volume":"vol. 1032","author":"Godefroid","year":"1996"},{"issue":"4","key":"10.1016\/j.entcs.2013.09.013_br0080","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1017\/S0960129500003133","article-title":"Geometry and concurrency: a user\u02bcs guide","volume":"10","author":"Goubault","year":"2000","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/j.entcs.2013.09.013_br0090","series-title":"Proc. of CONCUR\u02bc05","first-page":"503","article-title":"A practical application of geometric semantics to static analysis of concurrent programs","volume":"vol. 3653","author":"Goubault","year":"2005"},{"issue":"4","key":"10.1016\/j.entcs.2013.09.013_br0100","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10485-007-9082-7","article-title":"Components of the Fundamental Category II","volume":"15","author":"Goubault","year":"2007","journal-title":"Applied Categorical Structures"},{"key":"10.1016\/j.entcs.2013.09.013_br0110","series-title":"MFPS","first-page":"325","article-title":"Future path-components in directed topology","volume":"vol. 265","author":"Goubault","year":"2010"},{"key":"10.1016\/j.entcs.2013.09.013_br0120","article-title":"Formal relationships between geometrical and classical models for concurrency","author":"Goubault","year":"2012","journal-title":"ENTCS"},{"key":"10.1016\/j.entcs.2013.09.013_br0130","article-title":"Directed Algebraic Topology: Models of Non-Reversible Worlds","volume":"vol. 13","author":"Grandis","year":"2009"},{"issue":"5","key":"10.1016\/j.entcs.2013.09.013_br0140","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The Model Checker SPIN","volume":"23","author":"Holzmann","year":"1997","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/j.entcs.2013.09.013_br0150","series-title":"Applications and Theory of Petri Nets","first-page":"89","article-title":"An Algorithm for Direct Construction of Complete Merged Processes","volume":"vol. 6709","author":"Khomenko","year":"2011"},{"key":"10.1016\/j.entcs.2013.09.013_br0160","series-title":"S\u00e9mantique des jeux asynchrones et r\u00e9\u00e9criture 2-dimensionnelle","author":"Mimram","year":"2008"},{"key":"10.1016\/j.entcs.2013.09.013_br0170","series-title":"MFCS","first-page":"686","article-title":"Concurrent Automata vs. Asynchronous Systems","volume":"vol. 3618","author":"Morin","year":"2005"},{"key":"10.1016\/j.entcs.2013.09.013_br0180","series-title":"Applications and Theory of Petri Nets","first-page":"491","article-title":"Stubborn sets for reduced state space generation","author":"Valmari","year":"1989"},{"key":"10.1016\/j.entcs.2013.09.013_br0190","series-title":"Handbook of Logic in Computer Science, volume 4: Semantic Modelling, chapter 1: Models for concurrency","author":"Winskel","year":"1995"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066113000595?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066113000595?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,10]],"date-time":"2018-10-10T18:50:33Z","timestamp":1539197433000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066113000595"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":19,"alternative-id":["S1571066113000595"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2013.09.013","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}