HERNÁN MELGRATTI; LUCA PADOVANI

An OCaml Implementation of Binary Sessions

Behavioural Types: from Theory to Tools

Año: 2017;

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

Lectures on Concurrency and Petri Nets, Advances in Petri Nets

Año: 2003; p. 291 - 327