Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, and Alexandra Silva.

In: Goubault-Larrecq, J., König, B. (eds) Foundations of Software Science and Computation Structures. 2020