102 citations · 342 across the 33 of their papers we have counts for
1 paper · 1 filter
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini +1
In this paper we present a variant of the Calculus of Looping Sequences (CLS for short) with global and local rewrite rules. While global rules, as in CLS, are applied anywhere in…