{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T12:16:36Z","timestamp":1774786596705,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540734321","type":"print"},{"value":"9783540734338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73433-8_7","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:36:40Z","timestamp":1186843000000},"page":"81-94","source":"Crossref","is-referenced-by-count":1,"title":["Attenuation Regulation as a Term Rewriting System"],"prefix":"10.1007","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Cachat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Seliverstov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayssir","family":"Touili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vassily","family":"Lyubetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/3-540-45657-0_47","volume-title":"Computer Aided Verification","author":"P.A. Abdulla","year":"2002","unstructured":"Abdulla, P.A., Jonsson, B., Mahata, P.: Regular tree model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 555\u2013568. Springer, Heidelberg (2002)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-31980-1_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P.A. Abdulla","year":"2005","unstructured":"Abdulla, P.A., Legay, A., d\u2019Orso, J., Rezine, A.: Simulation-based iteration of tree transducers. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 30\u201344. Springer, Heidelberg (2005)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-44881-0_4","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2003","unstructured":"Bournez, O., C\u00f4me, G.-M., Conraud, V., Kirchner, H., Ibanescu, L.: A rule-based approach for automated generation of kinetic chemical mechanisms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 30\u201345. Springer, Heidelberg (2003)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-44881-0_6","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2003","unstructured":"Bournez, O., Hoyrup, M.: Rewriting logic and probabilities. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 61\u201375. Springer, Heidelberg (2003)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bournez, O., Ibanescu, L., Kirchner, H.: From chemical rules to term rewriting. In: 6th International Workshop on Rule-Based Programming, vol. 147(1) of ENTCS, pp. 113\u2013134 (2006)","DOI":"10.1016\/j.entcs.2005.06.040"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-45610-4_18","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2002","unstructured":"Bournez, O., Kirchner, C.: Probabilistic rewrite strategies: Applications to ELAN. In: Tison, S. (ed.) RTA 2002. LNCS, vol.\u00a02378, pp. 252\u2013266. Springer, Heidelberg (2002)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/3-540-45657-0_46","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"2002","unstructured":"Bouajjani, A., Touili, T.: Extrapolating tree transformations. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 539\u2013554. Springer, Heidelberg (2002)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","first-page":"73","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bouajjani","year":"2003","unstructured":"Bouajjani, A., Touili, T.: Reachability analysis of process rewrite systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol.\u00a02914, pp. 73\u201387. Springer, Heidelberg (2003)"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1017\/S1355838200992161","volume":"6","author":"C. Flamm","year":"2000","unstructured":"Flamm, C., Fontana, W., Hofacker, I.L., Schuster, P.: RNA folding at elementary step resolution. RNA\u00a06(3), 325\u2013338 (2000)","journal-title":"RNA"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0304-3975(00)00103-1","volume":"256","author":"Y. Kesten","year":"2001","unstructured":"Kesten, Y., Maler, O., Marcus, M., Pnueli, A., Shahar, E.: Symbolic model checking with rich assertional languages. Theoretical Computer Science\u00a0256, 93\u2013112 (2001)","journal-title":"Theoretical Computer Science"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-540-39958-2_3","volume-title":"FMOODS\u201903","author":"N. Kumar","year":"2003","unstructured":"Kumar, N., Sen, K., Meseguer, J., Agha, G.: A rewriting based model for probabilistic distributed object systems. In: FMOODS\u201903. LNCS, vol.\u00a02884, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Lyubetsky, V., Pirogov, S., Rubanov, L., Seliverstov, A.: Modeling classic attenuation regulation of gene expression in bacteria. Journal of Bioinformatics and Computational Biology, 5(1) (in print, 2007)","DOI":"10.1142\/S0219720007002576"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1134\/S0026893306030113","volume":"40","author":"V. Lyubetsky","year":"2006","unstructured":"Lyubetsky, V., Rubanov, L., Seliverstov, A., Pirogov, S.: Model of gene expression regulation in bacteria via formation of RNA secondary structures. Molecular Biology\u00a040(3), 440\u2013453 (2006)","journal-title":"Molecular Biology"},{"key":"7_CR14","unstructured":"RNAmodel. Model of RNA-related regulation in bacteria, http:\/\/lab6.iitp.ru\/rnamodel\/rnamodee.html"},{"key":"7_CR15","unstructured":"Singer, M., Berg, P.: Genes & genomes. University Science Books Mill Valley, Calif (1991)"},{"key":"7_CR16","volume-title":"1st VISSAS workshop","author":"T. Touili","year":"2005","unstructured":"Touili, T.: Dealing with communication for dynamic multithreaded recursive programs. In: 1st VISSAS workshop, IOS Press, Amsterdam (2005)"},{"issue":"13","key":"7_CR17","doi-asserted-by":"publisher","first-page":"3406","DOI":"10.1093\/nar\/gkg595","volume":"31","author":"M. Zuker","year":"2003","unstructured":"Zuker, M.: Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Research\u00a031(13), 3406\u20133415 (2003)","journal-title":"Nucleic Acids Research"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73433-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:19:43Z","timestamp":1684005583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73433-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734321","9783540734338"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73433-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}