Pages that link to "Item:Q3587459"

The following pages link to On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459):

Displaying 2 items.

• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)