CSP, partial automata, and coalgebras
Theoretical Computer Science
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Categorical foundations for randomly timed automata
Theoretical Computer Science
Syntactic composition of top-down tree transducers is short cut fusion
Mathematical Structures in Computer Science
Hi-index | 0.00 |