Complete trace models of state and control (Programming Languages and Systems. ESOP 2021., 2021)

(untitled) - Jaber, G; Murawski, AS