A Calculus of Looping Sequences with Local Rules
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: the...
Main Authors: | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2012-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1207.7147v1 |
Similar Items
-
A Type System for a Stochastic CLS
by: Mariangiola Dezani-Ciancaglini, et al.
Published: (2009-11-01) -
A Type System for Required/Excluded Elements in CLS
by: Mariangiola Dezani-Ciancaglini, et al.
Published: (2009-11-01) -
Reversible Multiparty Sessions with Checkpoints
by: Mariangiola Dezani-Ciancaglini, et al.
Published: (2016-08-01) -
A Calculus of Evolving Objects
by: M. Dezani-Ciancaglini, et al.
Published: (2008-12-01) -
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
by: Adriana Compagnoni, et al.
Published: (2012-11-01)