Pages that link to "Item:Q2013557"
From MaRDI portal
The following pages link to A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557):
Displaying 7 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications (Q991853) (← links)
- A decision procedure for semantical equivalence of thin FM specifications (Q1818643) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- A reduced semantics for deciding trace equivalence (Q5270090) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Rewriting Privacy (Q6487293) (← links)
