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

DOI10.3233/FI-2010-316zbMATH Open1214.68183OpenAlexW2134545644WikidataQ123194543 ScholiaQ123194543MaRDI QIDQ3000272FDOQ3000272

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

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

zbMATH Keywords

systems biologyterm rewritingpredictive modellingtype theories

Mathematics Subject Classification ID

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

Cited In (3)

• Typed stochastic semantics for the calculus of looping sequences
• Type disciplines for analysing biologically relevant properties
• Title not available (Why is that?)

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)