Paper Info
Title
Extending the calculus of looping sequences to model protein interaction at the domain level
Abstract
In previous papers we introduced a formalism, called Calculus of Looping Sequences (CLS), for describing biological systems and their evolution. CLS is based on term rewriting. Terms can be constructed by composing symbols of a given alphabet in sequences, which could be closed (looping) and contain other terms. In this paper we extend CLS to represent protein interaction at the domain level. Such an extension, called Calculus of Linked Looping Sequences (LCLS), is obtained by labeling alphabet symbols used in terms. Two symbols with the same label are considered to be linked. We introduce a type system to express a concept of well-formedness of LCLS terms, we give an operational semantics of the new calculus, and we show the application of LCLS to the description of a biological system.
Year
DOI
Venue
2007
10.1007/978-3-540-72031-7_58
ISBRA
Keywords
Field
DocType
composing symbol,alphabet symbol,model protein interaction,linked looping sequences,lcls term,operational semantics,domain level,new calculus,biological system,looping sequences,looping sequence,type system,biological systems
Operational semantics,CLs upper limits,Computer science,Rewriting,Formalism (philosophy),Calculus,Alphabet
Conference
Volume
ISSN
Citations 
4463
0302-9743
14
PageRank 
References 
Authors
0.80
8
3
Name
Order
Citations
PageRank
Roberto Barbuti186681.03
Andrea Maggiolo-Schettini278989.11
Paolo Milazzo38517.02