24 citations · 24 across the 2 of their papers we have counts for
1 paper · 2 filters
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…