Andrei Dorman

Structured Operational Semantics for Graph Rewriting

Barbara König, Tobias Heindel, Andrei Dorman, 2012, Sci. Ann. Comput. Sci..

Concurrency in Interaction Nets and Graph Rewriting

Andrei Dorman, 2013 .

Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011

Tobias Heindel, Andrei Dorman, 2011, ICE.

A Hierarchy of Expressiveness in Concurrent Interaction Nets

Damiano Mazza, Andrei Dorman, Damiano Mazza, 2013, CONCUR.