4 citations · 5 across the 4 of their papers we have counts for
Showing cs.CEShow all
2 papers · 1 filter
cs.CE2012
A Calculus of Looping Sequences with Local Rules
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…
cs.CE2011★ 1 cited
A Minimal OO Calculus for Modelling Biological Systems
Livio Bioglio
In this paper we present a minimal object oriented core calculus for modelling the biological notion of type that arises from biological ontologies in formalisms based on term rewr…