A General Theory of Barbs, Contexts, and Labels

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale. A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log., 15(4):35, 2014. [doi]

Abstract

Abstract is missing.