Pages that link to "Item:Q2870194"
From MaRDI portal
The following pages link to Theoretical aspects of communication-centred programming (Q2870194):
Displaying 5 items.
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Semantics of communication in simple multimodular programs (Q796293) (← links)
- Objects and session types (Q1021571) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)