46 citations · 104 across the 12 of their papers we have counts for
1 paper · 2 filters
Kohei Kishida
Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models…