{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T23:07:53Z","timestamp":1676848073414},"reference-count":28,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.11.3","type":"journal-article","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T22:28:03Z","timestamp":1259620083000},"page":"35-49","source":"Crossref","is-referenced-by-count":2,"title":["A Process Calculus for Molecular Interaction Maps"],"prefix":"10.4204","volume":"11","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Pardini","sequence":"additional","affiliation":[]},{"given":"Aureliano","family":"Rama","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2009,11,30]]},"reference":[{"key":"BLMMPR09","article-title":"Simulation of Kohn's Molecular Interaction Maps through translation into Stochastic CLS","volume-title":"PSI'09","author":"Roberto Barbuti","year":"2009"},{"key":"BMM07","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1007\/978-3-540-72031-7_58","article-title":"Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level","volume-title":"ISBRA","volume":"4463","author":"Roberto Barbuti","year":"2007"},{"issue":"5121","key":"BMMTT07","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-88765-2_3","article-title":"Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways","volume-title":"Transactions on Computational Systems Biology IX","author":"Roberto Barbuti","year":"2008"},{"key":"BMMT06","first-page":"21","article-title":"A Calculus of Looping Sequences for Modelling Microbiological Systems","volume":"72","author":"Roberto Barbuti","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"BFP07","first-page":"288","article-title":"Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps","volume-title":"BIBM","author":"Luca Bortolussi","year":"2007"},{"key":"BDP07","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-540-73940-1_3","article-title":"A Stochastic Semantics for BioAmbients","volume-title":"PaCT","volume":"4671","author":"Linda Brodo","year":"2007"},{"key":"Car05","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","article-title":"Brane Calculi","volume-title":"CMSB","volume":"3082","author":"Luca Cardelli","year":"2004"},{"issue":"1","key":"CCDFS04","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","article-title":"Modeling and querying biomolecular interaction networks","volume":"325","author":"Nathalie Chabrier-Rivier","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"CD03","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36481-1_16","article-title":"A Core Modeling Language for the Working Molecular Biologist (Abstract)","volume-title":"CMSB","volume":"2602","author":"Marc Chiaverini","year":"2003"},{"issue":"3","key":"CH08a","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.entcs.2007.12.008","article-title":"Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks","volume":"194","author":"Federica Ciocchetta","year":"2008","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"CPQ05","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11599128_3","article-title":"Modeling Kohn Interaction Maps with Beta-Binders: An Example","volume-title":"Transactions on Computational Systems Biology III","volume":"3737","author":"Federica Ciocchetta","year":"2005"},{"issue":"1","key":"CDPB04","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","article-title":"Modelling biochemical pathways through enhanced \u03c0-calculus","volume":"325","author":"M. Curti","year":"2004","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"DL04","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","article-title":"Formal molecular biology","volume":"325","author":"Vincent Danos","year":"2004","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"K03","article-title":"A graphical notation for biochemical networks","volume":"1","author":"Hiroaki Kitano","year":"2003","journal-title":"BIOSILICO"},{"key":"K99","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","article-title":"Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems","volume":"10","author":"Kurt W. Kohn","year":"1999","journal-title":"Molecular Biology of the Cell"},{"key":"KAKWP06","first-page":"1","article-title":"Depicting combinatorial complexity with the molecular interaction map notation","volume":"2","author":"Kurt W. Kohn","year":"2006","journal-title":"Molecular Systems Biology"},{"key":"KAWP05","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1091\/mbc.e05-09-0824","article-title":"Molecular Interaction Maps of Bioregulatory Networks: A General Rubric for Systems Biology","volume":"17","author":"Kurt W. Kohn","year":"2005","journal-title":"Molecular Biology of the Cell"},{"key":"LT06","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.tcs.2008.04.011","article-title":"A simple calculus for proteins and cells","volume":"404","author":"Cosimo Laneve","year":"2008","journal-title":"Theorical Computer Science"},{"key":"M99","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"Robin Milner","year":"1999"},{"issue":"7","key":"P95","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","article-title":"Stochastic \u03c0-calculus","volume":"38","author":"Corrado Priami","year":"1995","journal-title":"The Computer Journal"},{"key":"PQ05","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","article-title":"Beta Binders for Biological Interactions","volume-title":"CMSB","volume":"3082","author":"Corrado Priami","year":"2004"},{"issue":"1","key":"PRSS01","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","article-title":"Application of a stochastic name-passing calculus to representation and simulation of molecular processes","volume":"80","author":"Corrado Priami","year":"2001","journal-title":"Information Processing Letters"},{"key":"R02","volume-title":"Computational Systems Biology: a Calculus for Biomolecular Knowledge","author":"Aviv Regev","year":"2002"},{"issue":"1","key":"RPSCS04","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","article-title":"BioAmbients: an abstraction for biological compartments","volume":"325","author":"Aviv Regev","year":"2004","journal-title":"Theoretical Computer Science"},{"issue":"6905","key":"RS02","article-title":"Cellular abstractions: Cells as computation","volume":"419","author":"Aviv Regev","year":"2002","journal-title":"Nature"},{"key":"RSS00","volume-title":"Representing Biomolecular Processes with Computer Process Algebra: \u03c0-Calculus programs of Signal Transduction pathways","author":"Aviv Regev","year":"2000"},{"key":"RSS01","first-page":"459","article-title":"Representation and Simulation of Biochemical Processes Using the \u03c0-Calculus Process Algebra","volume-title":"Pacific Symposium on Biocomputing","author":"Aviv Regev","year":"2001"},{"key":"VG08","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-68894-5_13","article-title":"\u03c0@: A \u03c0-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi","volume-title":"SFM","volume":"5016","author":"Cristian Versari","year":"2008"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T22:07:15Z","timestamp":1551046035000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/0911.4854v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,30]]},"references-count":28,"URL":"https:\/\/doi.org\/10.4204\/eptcs.11.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,30]]}}}