A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Distributive Evaluations Of λ-Calculus
Fundamenta Informaticae
| Hi-index | 0.00 |