The following pages link to Multiparty session actors (Q2980982):
Displaying 9 items.
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Open Multiparty Interaction (Q2848868) (← links)
- (Q5028420) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Applied Choreographies (Q5881532) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)