The following pages link to (Q4471911):
Displaying 5 items.
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- FM 2005: Formal Methods (Q5716889) (← links)
- Coordination Models and Languages (Q5717744) (← links)