1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Synchronisability in Mailbox Communication
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
We revisit the problem of synchronisability for communicating automata, i.e., whether the language of send messages for an asynchronous system is the same as the language of send m…
cs.LO2024★ 1 cited
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
Kirstin Peters, Nobuko Yoshida
Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MP have a limi…