{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T03:11:37Z","timestamp":1780110697100,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540684107","type":"print"},{"value":"9783540684138","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_2","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"17-32","source":"Crossref","is-referenced-by-count":20,"title":["Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions"],"prefix":"10.1007","author":[{"given":"Jasmin","family":"Fisher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"http:\/\/mtc.epfl.ch\/~piterman\/bio"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"key":"2_CR3","first-page":"4","volume-title":"Proceedings International Conference on Information Intelligence Systems","author":"J. Barjis","year":"1999","unstructured":"Barjis, J., Barjis, I.: Formalization of the protein production by means of petri nets. In: Proceedings International Conference on Information Intelligence Systems, pp. 4\u20139. IEEE, Los Alamitos (1999)"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending thomas asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume":"4","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. Transactions on Computational Systems Biology\u00a04, 68\u201394 (2006)","journal-title":"Transactions on Computational Systems Biology"},{"key":"2_CR6","volume-title":"Model Checking","author":"E.C. Clarke","year":"1999","unstructured":"Clarke, E.C., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"2_CR7","unstructured":"Dill, D., Knapp, M.A., Gage, P., Talcott, C., Laderoute, K., Lincoln, P.: The pathalyzer: a tool for analysis of signal transduction pathways. In: Proceedings of the First Annual Recomb Satellite Workshop on Systems Biology (2005)"},{"issue":"11","key":"2_CR8","doi-asserted-by":"publisher","first-page":"2485","DOI":"10.1101\/gr.1215303","volume":"13","author":"S. Efroni","year":"2003","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res.\u00a013(11), 2485\u20132497 (2003)","journal-title":"Genome Res."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1371\/journal.pcbi.0030013","volume":"3","author":"S. Efroni","year":"2007","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology\u00a03(1), 127\u2013136 (2007)","journal-title":"PLoS Computational Biology"},{"issue":"11","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"issue":"5","key":"2_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1371\/journal.pcbi.0030092","volume":"3","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.A.: Predictive modeling of signalling crosstalk during C. elegans vulval development. PLoS Computational Biology\u00a03(5), 92 (2007)","journal-title":"PLoS Computational Biology"},{"issue":"6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"102","author":"J. Fisher","year":"2005","unstructured":"Fisher, J., Piterman, N., Hubbard, E.J., Stern, M.J., Harel, D.: Computational insights into Caenorhabditis elegans vulval development. Proc. Natl. Acad. Sci. U S A\u00a0102(6), 1951\u20131956 (2005)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2001","unstructured":"Ghosh, R., Tomlin, C.: Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 232\u2013246. Springer, Heidelberg (2001)"},{"issue":"25","key":"2_CR14","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Phys. Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"J. of Phys. Chemistry"},{"key":"#cr-split#-2_CR15.1","doi-asserted-by":"crossref","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science (2008);","DOI":"10.1016\/j.tcs.2007.11.013"},{"key":"#cr-split#-2_CR15.2","doi-asserted-by":"crossref","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science (2008); Special issue on Converging Sciences: Informatics and Biology (to appear)","DOI":"10.1016\/j.tcs.2007.11.013"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 166\u2013184. Springer, Heidelberg (2001)"},{"issue":"5","key":"2_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997) Special issue on Formal Methods in Software Practice","journal-title":"IEEE Trans. on Software Engineering"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kam, N., Harel, D., Cohen, I.R.: The immune system as a reactive system: Modeling T-cell activation with statecharts. In: IEEE Symposium of Visual Languages and Formal Methods, pp. 15\u201322 (2003)","DOI":"10.1109\/HCC.2001.995228"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36481-1_2","volume-title":"Computational Methods in Systems Biology","author":"N. Kam","year":"2003","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal modeling of C. elegans development: A scenario-based approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 4\u201320. Springer, Heidelberg (2003)"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology\u00a022(3), 437\u2013467 (1969)","journal-title":"Journal of Theoretical Biology"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/s100090050040","volume":"2","author":"Y. Kesten","year":"2000","unstructured":"Kesten, Y., Pnueli, A.: Control and data abstractions: The cornerstones of practical formal verification. Software Tools for Technology Transfer\u00a02(1), 328\u2013342 (2000)","journal-title":"Software Tools for Technology Transfer"},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080(1), 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J., Harel, D.: Towards verified biological models. IEEE Transactions in Computational Biology and Bioinformatics (to appear, 2007)","DOI":"10.1109\/TCBB.2007.1076"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:16:51Z","timestamp":1738250211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_2","relation":{},"subject":[]}}