Timothy A. V. Teatro, J. Mikael Eklund, Ruth Milman. Toward a Coalgebraic Model of Control Programs. In IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2022, Halifax, NS, Canada, September 18-20, 2022. pages 328-335, IEEE, 2022. [doi]
Abstract is missing.