Research Article
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Input: | (1) an event structure: | (2) a regular predicate: | Output: the slice: | BEGIN | (1) , ; | (2) ; | (3) | (4) ; | (5) for (++) | (6) get the th : from ; | (7) ; | (8) } | (9) if (){ | (10) ; | (11) } | (12) return ; | END |
|