2 citations · 2 across the 8 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…