Name
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. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.4204/EPTCS.88.4 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
DocType | Issue | ISSN |
Journal | 88 | 2075-2180 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Livio Bioglio | 1 | 27 | 7.56 |
| Mariangiola Dezani-Ciancaglini | 2 | 1615 | 193.57 |
| Paola Giannini | 3 | 449 | 50.00 |
| Angelo Troina | 4 | 375 | 26.31 |