Distributive Laws for Monotone Specifications

by Jurriaan Rot
Published 2017-08-01

On the specification of operations on the rational behaviour of systems

by Jurriaan Rot, Stefan Milius, Marcello M. Bonsangue
Published 2012-08-01

Interacting via the Heap in the Presence of Recursion

by Jurriaan Rot, Irina Măriuca Asăvoae, Frank de Boer, Marcello M. Bonsangue, Dorel Lucanu
Published 2012-12-01