Pages that link to "Item:Q2819828"
From MaRDI portal
The following pages link to Equations, contractions, and unique solutions (Q2819828):
Displaying 7 items.
- Unique solutions of contractions, CCS, and their HOL formalisation (Q2216120) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- (Q3384919) (← links)
- (Q5111623) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)