Partial Order Reduction (Q7361937)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Partial_Order_Reduction
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Partial Order Reduction |
AFP entry Partial_Order_Reduction |
Statements
5 June 2018
0 references
Julian Brunner
0 references
Partial Order Reduction (English)
0 references
This entry provides a formalization of the abstract theory of ample set partial order reduction. The formalization includes transition systems with actions, trace theory, as well as basics on finite, infinite, and lazy sequences. We also provide a basic framework for static analysis on concurrent systems with respect to the ample set condition.
0 references
