Categorical foundations for randomly timed automata
Theoretical Computer Science
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Hi-index | 0.00 |