Pages that link to "Item:Q4589207"
From MaRDI portal
The following pages link to An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements (Q4589207):
Displaying 3 items.
- Efficient algorithms for checking the equivalence of programs in interrupt handling models (Q949234) (← links)
- The problem of equivalence in commutative s-models for programs (Q1111006) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)