Pages that link to "Item:Q4542238"
From MaRDI portal
The following pages link to -Calculus with Explicit Points and Approximations (Q4542238):
Displayed 4 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)