Pages that link to "Item:Q2357655"

The following pages link to Characteristic bisimulation for higher-order session processes (Q2357655):

Displayed 4 items.

• On the relative expressiveness of higher-order session processes (Q2272988) ‎ (← links)
• On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) ‎ (← links)
• Minimal session types for the \(\pi\)-calculus (Q6124244) ‎ (← links)
• Session-based concurrency in Maude: executable semantics and type checking (Q6156938) ‎ (← links)