15 citations · 63 across the 16 of their papers we have counts for
1 paper · 2 filters
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…