Pages that link to "Item:Q4632434"
From MaRDI portal
The following pages link to Higher-order processes and their models (Q4632434):
Displaying 5 items.
- A mathematical model of processes with non-single-valued characteristics (Q799626) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Recursive equations in higher-order process calculi (Q5958778) (← links)