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
Recommendations
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)
Cites Work
- Components of the fundamental category
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Components of the fundamental category. II
- Trace spaces: an efficient new technique for state-space reduction
- An algorithm for direct construction of complete merged processes
- Branching Processes of General Petri Nets
- Future path-components in directed topology
- Directed algebraic topology. Models of non-reversible worlds
- Geometry and concurrency: a user's guide
- Title not available (Why is that?)
- Formal relationships between geometrical and classical models for concurrency
- Dynamic partial-order reduction for model checking software
- Mathematical Foundations of Computer Science 2005
- CONCUR 2005 – Concurrency Theory
Cited In (5)
Uses Software
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)
