R
esiduated
T
ransition
S
ystem2
CategoryWithBoundedPushouts
CategoryOfTransitions
Preliminaries
RTSConstructions
RTSCategory
ConcreteRTSCategory
RTSCatx
RTSCat
RTSCat_Interp
RTSEnrichedCategory