Pages that link to "Item:Q1589648"
From MaRDI portal
The following pages link to Names of the \(\pi\)-calculus agents handled locally (Q1589648):
Displaying 6 items.
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)
- A locally Nagata PID that is not Nagata (Q2125157) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)