Pages that link to "Item:Q2988633"

The following pages link to Observed Communication Semantics for Classical Processes (Q2988633):

Displaying 3 items.

• Parametrized fixed points and their applications to session types (Q2133474) (← links)
• Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
• (Q5009447) (← links)