Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.

Masaki Murakami

Browse the full ICTAC paper archive.