Pages that link to "Item:Q3401940"
From MaRDI portal
The following pages link to Encoding Mobile Ambients into the π-Calculus (Q3401940):
Displaying 6 items.
- A process algebraic approach to reaction systems (Q2044947) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- Translating Mobile Ambients into P Systems (Q2864193) (← links)
- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
