Pages that link to "Item:Q915472"
From MaRDI portal
The following pages link to A rewriting strategy to verify observational congruence (Q915472):
Displaying 4 items.
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Complete sets of axioms for finite basic LOTOS behavioural equivalences (Q1199556) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)