40 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
Matteo Cimini
Rule formats can quickly establish meta-theoretic properties of process algebras. It is then desirable to identify domain-specific languages (DSLs) that can easily express rule for…