76 citations · 190 across the 11 of their papers we have counts for
1 paper · 2 filters
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy
Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical…