Relational presheaves, change of base and weak simulation

Pawel Sobocinski. Relational presheaves, change of base and weak simulation. J. Comput. Syst. Sci., 81(5):901-910, 2015. [doi]

Abstract

Abstract is missing.