A Calculus of Looping Sequences with Local Rules
Abstract
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 a given term, local rules can only be applied in the compartment on which they are defined. Local rules are dynamic: they can be added, moved and erased. We enrich the new calculus with a parallel semantics where a reduction step is lead by any number of global and local rules that could be performed in parallel. A type system is developed to enforce the property that a compartment must contain only local rules with specific features. As a running example we model some interactions happening in a cell starting from its nucleus and moving towards its mitochondria.
Cite
@article{arxiv.1207.7147,
title = {A Calculus of Looping Sequences with Local Rules},
author = {Livio Bioglio and Mariangiola Dezani-Ciancaglini and Paola Giannini and Angelo Troina},
journal= {arXiv preprint arXiv:1207.7147},
year = {2012}
}
Comments
In Proceedings DCM 2011, arXiv:1207.6821