A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday

DOI10.3233/FI-2010-316MaRDI QIDQ3000272zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Barbuti, Mariangiola Dezani-Ciancaglini, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Publication date 18 May 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-316

zbMATH Keywords

systems biologyterm rewritingpredictive modellingtype theories

Mathematics Subject Classification ID

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

Recommendations

• Type disciplines for analysing biologically relevant properties
• Type Disciplines for Analysing Biologically Relevant Properties
• scientific article; zbMATH DE number 1950547
• A simple calculus for proteins and cells
• Formal molecular biology

Cited in

(3)

• Typed stochastic semantics for the calculus of looping sequences
• Type disciplines for analysing biologically relevant properties
• scientific article; zbMATH DE number 1950559 (Why is no real title available?)

This page was built for publication: A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday

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