Pages that link to "Item:Q5271075"
From MaRDI portal
The following pages link to Name-Passing Calculi: From Fusions to Preorders and Types (Q5271075):
Displaying 5 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- (Q5141619) (← links)
