A calculus of looping sequences with local rules

MaRDI QIDQ4986662zbMATH OpenFDO

Authors Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1207.7147, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2011.4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Cell biology (92C37)

Recommendations

• Spatial calculus of looping sequences
• scientific article; zbMATH DE number 5051639
• scientific article; zbMATH DE number 7301530
• Enumerated type semantics for the calculus of looping sequences
• Bisimulation Congruences in the Calculus of Looping Sequences

Cited in

(2)

• Enumerated type semantics for the calculus of looping sequences
• Spatial calculus of looping sequences

This page was built for publication: A calculus of looping sequences with local rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986662)