Login / Signup

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

Masaki Murakami
Published in: ICTAC (2008)
Keyphrases
  • graph model
  • high level
  • probabilistic model
  • process model