Trace Spaces: An Efficient New Technique for State-Space Reduction
From MaRDI portal
Publication:2892732
DOI10.1007/978-3-642-28869-2_14zbMath1352.68032arXiv1204.0414MaRDI QIDQ2892732
Martin Raussen, Eric Goubault, E. Haucourt, Lisbeth Fajstrup, Samuel Mimram
Publication date: 22 June 2012
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.0414
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items
Cut-off theorems for the \textit{PV}-model, A geometric view of partial order reduction, Simplicial models for trace spaces. II: General higher dimensional automata, Execution spaces for simple higher dimensional automata, Iterated chromatic subdivisions are collapsible, Geometric and combinatorial views on asynchronous computability, Directed homology theories and Eilenberg-Steenrod axioms, Natural Homology