1. 30 years of GreatSPN;Amparore,2016
2. Graph isomorphism in quasipolynomial time [extended abstract];Babai,2016
3. SysVeritas: a framework for verifying IOPT nets and execution semantics within embedded systems design;Barbosa,2011
4. Process algebra for synchronous communication;Bergstra;Inf. Control,1984
5. Scott: a method for representing graphs as rooted trees for graph canonization;Bloyet,2019