Safe Asynchronous Mixed-Choice for Timed Interactions. - Jonah Pears; Laura Bocchi; Andy King (COORDINATION, 2023)

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. - Jonah Pears; Laura Bocchi; Raymond Hu (Erlang, 2024)

Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. - Jonah Pears; Laura Bocchi; Maurizio Murgia 001; Andy King (CoRR, 2024)