Similar Items: A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
- Structural Reductions and Stutter Sensitive Properties
- Decidable Expansions of Labelled Linear Orderings
- Partially Ordered Automata and Piecewise Testability
- Partial Order Infinitary Term Rewriting
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
- The Shapley Value of Inconsistency Measures for Functional Dependencies