A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Context-sensitive rewriting strategies
Information and Computation
Term-Graph Rewriting Via Explicit Paths
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Rational term rewriting revisited: decidability and confluence
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |