Coalgebraic Methods in Computer Science
Computer Security

Hansen, H., Basold, H., & Rutten, J. (2014). A note on typed behavioural differential equations. In Proceedings of Coalgebraic Methods in Computer Science 2014 (CMCS 0).