Attenuation regulation as a term rewriting system

Authors:
Eugene Asarin;Thierry Cachat;Alexander Seliverstov;Tayssir Touili;Vassily Lyubetsky
Affiliations:
LIAFA, CNRS and University Paris Diderot;LIAFA, CNRS and University Paris Diderot;IITP, Russian Academy of Science;LIAFA, CNRS and University Paris Diderot;IITP, Russian Academy of Science
Venue:
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Year:
2007

Citing 8
Cited 0

Symbolic model checking with rich assertional languages

Theoretical Computer Science
Probabilistic Rewrite Strategies. Applications to ELAN

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Regular Tree Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Extrapolating Tree Transformations

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
From Chemical Rules to Term Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
A rule-based approach for automated generation of kinetic chemical mechanisms

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Rewriting logic and probabilities

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Simulation-Based iteration of tree transducers

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The classical attenuation regulation of gene expression in bacteria is considered.We propose to represent the secondary RNA structure in the leader region of a gene or an operon by a term, and we give a probabilistic term rewriting system modeling the whole process of such a regulation.