Coalgebraic Logic and Synthesis of Mealy Machines.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Browse the full FOSSACS paper archive.