Pages that link to "Item:Q3067465"
From MaRDI portal
The following pages link to On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465):
Displayed 4 items.
- A formal approach to open multiparty interactions (Q1727996) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- Process calculi for biological processes (Q6062000) (← links)