Structured Operational Semantics for Graph Rewriting - Andrei Dorman; Tobias Heindel (ICE, 2011)

Structured Operational Semantics for Graph Rewriting. - Andrei Dorman; Tobias Heindel; Barbara König 001 (Sci. Ann. Comput. Sci., 2012)

A Hierarchy of Expressiveness in Concurrent Interaction Nets. - Andrei Dorman; Damiano Mazza (CONCUR, 2013)

Concurrency in Interaction Nets and Graph Rewriting. - Andrei Dorman (2013)