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):
Displaying 7 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- 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)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
