Relational presheaves, change of base and weak simulation
Under an Elsevier user license
open archive
Keywords
Labelled transition systems
Simulation
Weak simulation
Relational presheaves
Category theory
Cited by (0)
Copyright © 2014 Elsevier Inc. All rights reserved.