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