Pages that link to "Item:Q4676156"
From MaRDI portal
The following pages link to Correspondence assertions for process synchronization in concurrent communications (Q4676156):
Displaying 5 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
