Title
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday
Abstract
The Calculus of Looping Sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus by labelling elements of sequences. Since two elements with the same label are considered to be linked, this allows us to represent protein interaction at the domain level. Well-formedness of terms are ensured by both a syntactic constraint and a type system: we discuss the differences between these approaches through the description of a biological system, namely the EGF pathway.
Year
DOI
Venue
2010
10.3233/FI-2010-316
Fundam. Inform.
Keywords
Field
DocType
protein interaction,syntactic constraint,egf pathway,labelling element,domain level,jerzy tiuryn,biological system,looping sequences,type system,systems biology,predictive modelling
Discrete mathematics,Algebra,Pure mathematics,Systems biology,Rewriting,Formalism (philosophy),Syntax,Mathematics
Journal
Volume
Issue
ISSN
103
1-4
0169-2968
Citations 
PageRank 
References 
4
0.43
13
Authors
5
Name
Order
Citations
PageRank
Roberto Barbuti186681.03
Andrea Maggiolo-Schettini278989.11
Angelo Troina337526.31
Mariangiola Dezani-Ciancaglini41615193.57
Paolo Milazzo532821.14