Type Disciplines for Analysing Biologically Relevant Properties

DOI10.1016/j.entcs.2008.12.106zbMath1348.92066OpenAlexW2074916974MaRDI QIDQ5179427

Mariangiola Dezani-Ciancaglini, Angelo Troina, Bogdan Aman

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.106

zbMATH Keywords

term rewritingcalculus of looping sequencesbiological properties

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Systems biology, networks (92C42)

Related Items

Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Enumerated type semantics for the calculus of looping sequences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulations in calculi modelling membranes
• Membrane computing. An introduction.
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Bisimulation Congruences in the Calculus of Looping Sequences
• Brane Calculi

This page was built for publication: Type Disciplines for Analysing Biologically Relevant Properties