The following pages link to Typed ψ-calculi (Q3090835):
Displaying 4 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
