Pages that link to "Item:Q5189644"
From MaRDI portal
The following pages link to Linear type theory for asynchronous session types (Q5189644):
Displayed 5 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Fundamentals of session types (Q714736) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196) (← links)
- Typing Copyless Message Passing (Q5892489) (← links)