TY  - RPRT
TI  - A Calculus of Looping Sequences with Local Rules
AU  - Livio Bioglio
AU  - Mariangiola Dezani-Ciancaglini
AU  - Paola Giannini
AU  - Angelo Troina
PY  - 2012
DO  - 10.4204/eptcs.88.4
UR  - https://arxiv.org/abs/1207.7147
ID  - 1207.7147
ER  -