Andrei Dorman

Affiliations:

According to our database¹, Andrei Dorman authored at least 4 papers between 2011 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Concurrency in Interaction Nets and Graph Rewriting.

[BibT_eX]

[DOI]

PhD thesis, 2013

A Hierarchy of Expressiveness in Concurrent Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Structured Operational Semantics for Graph Rewriting.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2012

2011

Structured Operational Semantics for Graph Rewriting

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011