3 citations · 6 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 2 cited
Locally Nameless Permutation Types
Edsko de Vries, Vasileios Koutavas
We define "Locally Nameless Permutation Types", which fuse permutation types as used in Nominal Isabelle with the locally nameless representation. We show that this combination is…
cs.LO2017★ 3 cited
Distinguishing between Communicating Transactions
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…