1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026★ 1 cited
Special Delivery: Programming with Mailbox Types (Extended Version)
Simon Fowler, Duncan Paul Attard, Danielle Marshall +2
The asynchronous and unidirectional communication model supported by mailboxes is a key reason for the success of actor languages like Erlang and Elixir for implementing reliable a…
cs.LO2024
A Session Type System for Asynchronous Unreliable Broadcast Communication
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…