Pages that link to "Item:Q3067465"

The following pages link to On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465):

Displaying 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)