IFIP WG1.8 Workshop on Open Problems in Concurrency Theory
Computer Security

Rutten, J.J.M.M. (2017, January). Newton series coinductively, a comparative study of composition.