Complete trace models of state and control

von Jaber, Guilhem
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Leafy Automata for Higher-order Concurrency

von Dixon, Alex
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)