Abstract | ||
---|---|---|
We survey the formalism Calculus of Looping Sequences (CLS) and a number of its variants from the point of view of their use for describing biological membranes. The CLS formalism is based on term rewriting and allows describing biomolecular systems. A first variant of CLS, called Stochastic CLS, extends the formalism with stochastic time, another variant, called LCLS (CLS with links), allows describing proteins interaction at the domain level. A third variant is introduced for easier description of biological membranes. This extension can be encoded into CLS as well as other formalisms capable of membrane description such as Brane Calculi and P Systems. Such encodings allow verifying and simulating descriptions in Brane Calculi and P Systems by means of verifiers and simulators developed for CLS. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-77312-2_4 | Workshop on Membrane Computing |
Keywords | Field | DocType |
membrane description,stochastic cls,biological membrane,easier description,formalism calculus,brane calculi,simulating description,looping sequences,cls formalism,looping sequence,p systems,p system | Discrete mathematics,Brane calculi,CLs upper limits,Biological membrane,Computer science,Rewriting,Formalism (philosophy),Rotation formalisms in three dimensions,Calculus | Conference |
Volume | ISSN | ISBN |
4860 | 0302-9743 | 3-540-77311-8 |
Citations | PageRank | References |
9 | 0.57 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Paolo Milazzo | 3 | 85 | 17.02 |
Angelo Troina | 4 | 375 | 26.31 |