1 paper
Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz +1
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and its impl…