Coalgebraic Methods in Computer Science
Computer Security

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