1. Timed Petri nets and BQOs;Abdulla,2001
2. Towards nominal computation;Bojańczyk,2012
3. Automata theory in nominal sets;Bojańczyk;Log. Methods Comput. Sci.,2014
4. Turing machines with atoms;Bojańczyk,2013
5. A meta-notation for protocol analysis;Cervesato,1999