4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida +1
Causal reversibility has emerged as an effective technique for debugging concurrent systems. In particular, rolling back and replaying a concurrent program with causal consistency…
cs.PL2023★ 4 cited
Checkpoint-based rollback recovery in session programming
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesire…
cs.PL2017
Multiparty Session Types, Beyond Duality (Abstract)
Alceste Scalas, Nobuko Yoshida
Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing ca…