Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
| Hi-index | 5.23 |