Pages that link to "Item:Q3130299"

The following pages link to On the expressiveness of π-calculus for encoding mobile ambients (Q3130299):

Displaying 3 items.

• A formal approach to open multiparty interactions (Q1727996) (← links)
• A process algebraic approach to reaction systems (Q2044947) (← links)
• The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)