A geometric view of partial order reduction

DOI10.1016/J.ENTCS.2013.09.013zbMATH Open1334.68133OpenAlexW2012793824WikidataQ113317962 ScholiaQ113317962MaRDI QIDQ265807FDOQ265807

Authors Éric Goubault, Tobias Heindel, Samuel Mimram

Publication date 12 April 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2013.09.013

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Publication:4503926
• Partial-Order Reduction
• Trace spaces: an efficient new technique for state-space reduction
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Distributed partial order reduction of state spaces

Cites work

• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• An algorithm for direct construction of complete merged processes
• Branching Processes of General Petri Nets
• CONCUR 2005 – Concurrency Theory
• Components of the fundamental category
• Components of the fundamental category. II
• Directed algebraic topology. Models of non-reversible worlds
• Dynamic partial-order reduction for model checking software
• Formal relationships between geometrical and classical models for concurrency
• Future path-components in directed topology
• Geometry and concurrency: a user's guide
• Mathematical Foundations of Computer Science 2005
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Trace spaces: an efficient new technique for state-space reduction

Cited in

(5)

• Trace spaces: an efficient new technique for state-space reduction
• Geometric and combinatorial views on asynchronous computability
• Syntactic regions for concurrent programs
• Natural Homology
• Topological abstraction of higher-dimensional automata

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: A geometric view of partial order reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265807)