Russ Harmer

Latest

• Fundamentals of Compositional Rewriting Theory
• Concurrency Theorems for Non-linear Rewriting Theories