Pages that link to "Item:Q5897765"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897765):
Displayed 5 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)