3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…