Precategories for combining probabilistic automata (1999)

by P Mateus, A Sernadas, C Sernadas
Venue:Electronic Notes in Theoretical Computer Science