Pages that link to "Item:Q3584941"
From MaRDI portal
The following pages link to Buffered Communication Analysis in Distributed Multiparty Sessions (Q3584941):
Displaying 7 items.
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- (Q4081120) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Global escape in multiparty sessions (Q5741561) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)