Paulo Mateus;Amílcar Sernadas;Cristina Sernadas
-;-;-
Categorical foundations for randomly timed automata
Theoretical Computer Science