Pages that link to "Item:Q2475806"

The following pages link to Symmetric electoral systems for ambient calculi (Q2475806):

Displaying 9 items.

• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
• Theory of interaction (Q896903) (← links)
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
• Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
• Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
• Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
• On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
• On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)