{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T14:40:12Z","timestamp":1738248012711,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":80,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540688921"},{"type":"electronic","value":"9783540688945"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68894-5_4","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:39:25Z","timestamp":1212151165000},"page":"81-124","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical Modeling for Computational Biology"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Maus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"John","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"R\u00f6hl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"161","volume-title":"Computational Models of Molecular and Cellular Interaction","author":"N. Vaidehi","year":"2001","unstructured":"Vaidehi, N., Goddard III, W.: Atomic level simulation models for biological systems. In: Bower, J., Bolouri, H. (eds.) Computational Models of Molecular and Cellular Interaction, pp. 161\u2013188. MIT Press, Cambridge (2001)"},{"issue":"8","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1016\/j.febslet.2005.01.072","volume":"579","author":"K. Takahashi","year":"2005","unstructured":"Takahashi, K., Nanda, S., Arjunan, V., Tomita, M.: Space in systems biology of signaling pathways: towards intracellular molecular crowding in silico. FEBS letters\u00a0579(8), 1783\u20131788 (2005)","journal-title":"FEBS letters"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics\u00a022(4), 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/21.87052","volume":"18","author":"P.A. Fishwick","year":"1988","unstructured":"Fishwick, P.A.: Role of process abstraction in simulation. IEEE Trans. Syst. Man Cybern.\u00a018(1), 18\u201339 (1988)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"4_CR5","unstructured":"Overstreet, C.M., Nance, R.E., Balci, O.: Issues in enhancing model reuse. In: International Conference on Grand Challenges for Modeling and Simulation, San Antonio, Texas, USA, January 27-31 (2002)"},{"issue":"12","key":"4_CR6","doi-asserted-by":"publisher","first-page":"1509","DOI":"10.1038\/nbt1156","volume":"23","author":"N. Nov\u00e8re Le","year":"2005","unstructured":"Le Nov\u00e8re, N., Finney, A., Hucka, M., Bhalla, U.S., Campagne, F., Collado-Vides, J., Crampin, E.J., Halstead, M., Klipp, E., Mendes, P., Nielsen, P., Sauro, H., Shapiro, B., Snoep, J.L., Spence, H.D., Wanner, B.L.: Minimum information requested in the annotation of biochemical models (miriam). Nature Biotechnology\u00a023(12), 1509\u20131515 (2005)","journal-title":"Nature Biotechnology"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"HSCC 2000: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular Specification of Hybrid Systems in CHARON. In: HSCC 2000: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, pp. 6\u201319. Springer, Heidelberg (2000)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/132277.132280","volume":"2","author":"P.A. Fishwick","year":"1992","unstructured":"Fishwick, P.A., Zeigler, B.P.: A Multimodel Methodology for Qualitative Model Engineering. Modeling and Computer Simulation\u00a02(1), 52\u201381 (1992)","journal-title":"Modeling and Computer Simulation"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0004-3702(97)00050-7","volume":"95","author":"D. Berleant","year":"1997","unstructured":"Berleant, D., Kuipers, B.: Qualitative and Quantitative Simulation: Bridging the Gap. Artificial Intelligence\u00a095(2), 215\u2013255 (1997)","journal-title":"Artificial Intelligence"},{"key":"4_CR10","unstructured":"de Jong, H., Page, M., Hernandez, C., Geiselmann, J.: Qualitative simulation of genetic regulatory networks: Method and application. In: IJCAI, pp. 67\u201373 (2001)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1093\/bioinformatics\/btg442","volume":"20","author":"K. Takahashi","year":"2004","unstructured":"Takahashi, K., Kaizu, K., Hu, B., Tomita, M.: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics\u00a020(4), 538\u2013546 (2004)","journal-title":"Bioinformatics"},{"issue":"102","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"6","author":"J. Fisher","year":"2005","unstructured":"Fisher, J., Piterman, N., Hubbard, E., Stern, M., Harel, D.: Computational insights into C. elegans vulval development. Proc. Natl. Acad. Sci.\u00a06(102), 1951\u20131956 (2005)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1038\/nature04342","volume":"438","author":"D. Endy","year":"2005","unstructured":"Endy, D.: Foundations for engineering biology. Nature\u00a0438, 449\u2013453 (2005)","journal-title":"Nature"},{"key":"4_CR15","unstructured":"Hoops, S.: Hierarchical modeling. In: Result of the SBML Composition Workshop 2007. University of Connecticut Health Center, Farmington, CT, USA (September 2007), http:\/\/sbml.org\/index.php\/Events\/Other_Events\/SBML_Composition_Workshop_2007\/Hierarchical_Modeling"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Lakoff, G.: Women, Fire and dangerous things. University of Chicago Press (1987)","DOI":"10.7208\/chicago\/9780226471013.001.0001"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/B978-0-12-318750-5.50011-8","volume-title":"Theoretical Systems Ecology","author":"J. Webster","year":"1979","unstructured":"Webster, J.: Hierarchical organization of ecosystems. In: Halfon, E. (ed.) Theoretical Systems Ecology, pp. 119\u2013129. Academic Press, London (1979)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.2307\/3566072","volume":"53","author":"R. Wiegert","year":"1988","unstructured":"Wiegert, R.: Holism and reductionism in ecology: Hyptohesis, scale and systems models. Oikos\u00a053, 267\u2013269 (1988)","journal-title":"Oikos"},{"key":"4_CR19","unstructured":"Bertalanffy, L.v.: General systems theory. George Braziller (1968)"},{"volume-title":"Hierarchical Structures","year":"1969","key":"4_CR20","unstructured":"Whyte, L.L., Wilson, A., Wilson, D. (eds.): Hierarchical Structures. Elsevier, Amsterdam (1969)"},{"key":"4_CR21","unstructured":"Pattee, H. (ed.): Hierarchy Theory. George Braziller (1973)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Ayla, F.J., Dobzhansky, T. (eds.): Studies in the philosophy of biology. University of California Press (1974)","DOI":"10.1007\/978-1-349-01892-5"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Chwif, L., Barretto, M.R.P., Paul, R.J.: On simulation model complexity. In: WSC 2000: Proceedings of the 32nd conference on Winter simulation. Society for Computer Simulation International, San Diego, CA, USA, pp. 449\u2013455 (2000)","DOI":"10.1109\/WSC.2000.899751"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/256563.256607","volume-title":"WSC 1993: Proceedings of the 25th conference on Winter simulation","author":"J.J. Luna","year":"1993","unstructured":"Luna, J.J.: Hierarchical relation in simulation models. In: WSC 1993: Proceedings of the 25th conference on Winter simulation, pp. 132\u2013137. ACM, New York (1993)"},{"key":"4_CR25","volume-title":"Designing the User Interface: Strategies for Effective Human-Computer Interaction","author":"B. Shneiderman","year":"1997","unstructured":"Shneiderman, B.: Designing the User Interface: Strategies for Effective Human-Computer Interaction, 3rd edn. Addison-Wesley, Reading (1997)","edition":"3"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Rosch, E.: Principles of categorization. In: Rosch, E., Lloyd, B. (eds.) Cognition and categorization, pp. 27\u201348, Lawrence Earlbaum (1978)","DOI":"10.4324\/9781032633275-4"},{"key":"4_CR27","first-page":"646","volume-title":"Conceptual issues in Evoutionary biology","author":"E. Mayr","year":"1984","unstructured":"Mayr, E.: Biological classification: toward a synthesis of opposing methodologies. In: Sober, E. (ed.) Conceptual issues in Evoutionary biology, pp. 646\u2013662. MIT Press, Cambridge (1984)"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/382192.383004","volume":"1","author":"P. Wegner","year":"1990","unstructured":"Wegner, P.: Concepts and paradigms of object-oriented programming. OOPS Messenger\u00a01(1), 7\u201387 (1990)","journal-title":"OOPS Messenger"},{"key":"4_CR29","unstructured":"Zeigler, B.P., Sarjoughian, H.S.: Implications of M&S foundations for the V&V of large scale complex simulation models. In: Proceedings of the Foundations for V&V in the 21st Century Workshop, Laurel, MD (2002)"},{"key":"4_CR30","volume-title":"Principles of object-oriented modeling and simulation with modelica 2.1","author":"P. Fritzon","year":"2003","unstructured":"Fritzon, P.: Principles of object-oriented modeling and simulation with modelica 2.1. Wiley, Chichester (2003)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/PADS.2006.39","volume-title":"PADS 2006: Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation","author":"A. Tolk","year":"2006","unstructured":"Tolk, A.: What comes after the semantic web \u2013 pads implications for the dynamic web. In: PADS 2006: Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, p. 55. IEEE Computer Society, Washington (2006)"},{"issue":"7","key":"4_CR32","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1016\/j.jprocont.2003.12.008","volume":"14","author":"D. Degenring","year":"2004","unstructured":"Degenring, D., Fr\u00f6mel, C., Dikta, G., Takors, R.: Sensitivity analysis for the reduction of complex metabolism models. Journal of Process Control\u00a014(7), 729\u2013745 (2004)","journal-title":"Journal of Process Control"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-75292-9_6","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"P. Bostr\u00f6m","year":"2007","unstructured":"Bostr\u00f6m, P., Morel, L., Walden, M.: Stepwise development of simulink models using the refinement calculus framework. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 79\u201393. Springer, Heidelberg (2007)"},{"key":"4_CR34","unstructured":"Nicol, D., Priami, C., Nielson, H., Uhrmacher, A. (eds.): Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings 0161 (2006) ISSN 1862-4405"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Klir, G.: Architecture of Systems Problem Solving. Plenum Press (1985)","DOI":"10.1007\/978-1-4757-1168-4"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Sauro, H., Uhrmacher, A., Harel, D., Kwiatkowska, M., Hucka, M., Mendes, P., Shaffer, C., Stroembaeck, L., Tyson, J.: Challenges for modeling and simulation in computational biology. In: Proc. of the Winter Simulation Conference, IEEE\/ACM (2006)","DOI":"10.1109\/WSC.2006.322948"},{"key":"4_CR37","unstructured":"Szyperski, C.: Component software: beyond object-oriented programming, 2nd edn. ACM Press\/Addison-Wesley Publishing Co (2002)"},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1013329.1013353","volume-title":"PADS 2004: Proceedings of the eighteenth workshop on Parallel and distributed simulation","author":"A. Verbraeck","year":"2004","unstructured":"Verbraeck, A.: Component-based distributed simulations: the way forward? In: PADS \u201904: Proceedings of the eighteenth workshop on Parallel and distributed simulation, New York, NY, USA, ACM Press (2004) 141\u2013148"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, C.A.R. (eds.) Engineering Theories of Software-intensive Systems. NATO Science Series: Mathematics, Physics, and Chemistry, vol.\u00a0195, pp. 83\u2013104 (2005)","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"4_CR40","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/B978-044481714-3\/50011-4","volume-title":"Handbook of Logic and Language","author":"T.M.V. Janssen","year":"1997","unstructured":"Janssen, T.M.V.: Compositionality (with an appendix by B. Partee). In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 417\u2013473. Elsevier, Amsterdam (1997)"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Cambell, D.: Downward causation. In: Ayla, F., Dobzhansky, T. (eds.) Studies in the philosophy of biology, pp. 179\u2013186. University of California Press (1974)","DOI":"10.1007\/978-1-349-01892-5_11"},{"key":"4_CR42","unstructured":"Tilly, C.: Micro, macro, or megrim? In: Schlumbohm, J. (ed.) Mikrogeschichte - Makrogeschichte: komplement\u00e4r oder inkommensurabel? G\u00f6ttinger Gespr\u00e4che zur Geschichtswissenschaft, vol.\u00a07, Wallstein Verlag (1998)"},{"issue":"2","key":"4_CR43","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1080\/08839519508945472","volume":"9","author":"A.M. Uhrmacher","year":"1995","unstructured":"Uhrmacher, A.M.: Reasoning about changing structure, a modeling concept for ecological systems. Applied Artificial Intelligence\u00a09(2), 157\u2013180 (1995)","journal-title":"Applied Artificial Intelligence"},{"key":"4_CR44","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/03081077908960886","volume":"5","author":"J. Goguen","year":"1979","unstructured":"Goguen, J., Varela, F.: Systems and distinctions. duality and complementarity. International journal of general systems\u00a05, 31\u201343 (1979)","journal-title":"International journal of general systems"},{"key":"4_CR45","unstructured":"Heylighen, F.R.E., Demeyere, F. (eds.): Self-Steering and Cognition in Complex Systems \u2013 Towards a New Cybernetics, pp. 107\u2013113. Gordon Breach Science (1990)"},{"key":"4_CR46","volume-title":"Theory of Modeling and Simulation","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, London (2000)"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Chow, A.C., Zeigler, B.P.: Parallel devs: a parallel, hierarchical, modular, modeling formalism. In: WSC 1994: Proceedings of the 26th conference on Winter simulation. Society for Computer Simulation International, San Diego, CA, USA, pp. 716\u2013722 (1994)","DOI":"10.1109\/WSC.1994.717419"},{"issue":"1-3","key":"4_CR48","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.biosystems.2004.03.008","volume":"75","author":"D. Degenring","year":"2004","unstructured":"Degenring, D., R\u00f6hl, M., Uhrmacher, A.M.: Discrete event, multi-level simulation of metabolite channeling. Biosystems\u00a075(1-3), 29\u201341 (2004)","journal-title":"Biosystems"},{"issue":"4","key":"4_CR49","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/268403.268423","volume":"7","author":"F. Barros","year":"1997","unstructured":"Barros, F.: Modeling Formalism for Dynamic Structure Systems. ACM Transactions on Modeling and Computer Simulation\u00a07(4), 501\u2013514 (1997)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"issue":"2","key":"4_CR50","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/384169.384173","volume":"11","author":"A. Uhrmacher","year":"2001","unstructured":"Uhrmacher, A.: Dynamic Structures in Modeling and Simulation - A Reflective Approach. ACM Transactions on Modeling and Simulation\u00a011(2), 206\u2013232 (2001)","journal-title":"ACM Transactions on Modeling and Simulation"},{"key":"4_CR51","unstructured":"Asperti, A., Busi, N.: Mobile petri nets. Technical Report UBLCS-96-10, University of Bologna (1996)"},{"key":"4_CR52","series-title":"IFIP Conference Proceedings","volume-title":"FMOODS","author":"N. Busi","year":"1999","unstructured":"Busi, N.: Mobile nets. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) FMOODS. IFIP Conference Proceedings, vol.\u00a0139, Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"4_CR53","doi-asserted-by":"crossref","unstructured":"Uhrmacher, A., Himmelspach, J., R\u00f6hl, M., Ewald, R.: Introducing variable ports and multi-couplings for cell biological modeling in devs. In: Proc. of the 2006 Winter Simulation Conference, pp. 832\u2013840 (2006)","DOI":"10.1109\/WSC.2006.323165"},{"key":"4_CR54","unstructured":"OMG.: Systems modeling language (OMG SysMLTM) v1.0. OMG Available Specification, Document Number: formal\/07-09-01 (September 2007)"},{"key":"4_CR55","unstructured":"Kuttler, C., Uhrmacher, A.: Multi-level modeling in systems biology by discrete event approaches. IT Themenheft Systems Biology (2006)"},{"issue":"2","key":"4_CR56","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1057\/palgrave.jos.4250018","volume":"1","author":"R. Ewald","year":"2007","unstructured":"Ewald, R., Maus, C., Rolfs, A., Uhrmacher, A.M.: Discrete event modelling and simulation in systems biology. Journal of Simulation\u00a01(2), 81\u201396 (2007)","journal-title":"Journal of Simulation"},{"key":"4_CR57","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-662-03261-9_6","volume-title":"Social Science Microsimulation [Dagstuhl Seminar, May, 1995]","author":"M. M\u00f6hring","year":"1996","unstructured":"M\u00f6hring, M.: Social science multilevel simulation with mimose. In: Social Science Microsimulation [Dagstuhl Seminar, May, 1995], London, UK, pp. 123\u2013137. Springer, Heidelberg (1996)"},{"key":"4_CR58","doi-asserted-by":"crossref","unstructured":"Uhrmacher, A.M., Ewald, R., John, M., Maus, C., Jeschke, M., Biermann, S.: Combining micro and macro-modeling in devs for computational biology. In: Proc. of the 2007 Winter Simulation Conference (2007)","DOI":"10.1109\/WSC.2007.4419683"},{"key":"4_CR59","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"7","key":"4_CR60","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-Calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"4_CR61","volume-title":"Modeling in Molecular Biology","author":"A. Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The \u03c0-calculus as an abstraction for biomolecular systems. In: Ciobanu, Gabriel Rozenberg, G. (eds.) Modeling in Molecular Biology, Springer, Heidelberg (2004)"},{"key":"4_CR62","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-73433-8_17","volume-title":"Algebraic Biology","author":"C. Kuttler","year":"2007","unstructured":"Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi calculus for concurrent objects. In: Algebraic Biology, pp. 232\u2013246. Springer, Heidelberg (2007)"},{"issue":"3","key":"4_CR63","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2006.07.014","volume":"164","author":"P. Degano","year":"2006","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. Electronic Notes in Theoretical Computer Science\u00a0164(3), 101\u2013117 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"4_CR64","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR65","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11905455_2","volume-title":"Transactions on Computational Systems Biology VII","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J.: Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 24\u201355. Springer, Heidelberg (2006)"},{"key":"4_CR66","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: Logic in Computer Science. Proceedings. 20th Annual IEEE Symposium on. LICS 2005, pp. 239\u2013248 (2005)","DOI":"10.1109\/LICS.2005.35"},{"key":"4_CR67","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing 2001, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"4_CR68","unstructured":"Kuttler, C.: Modeling Bacterial Gene Expression in a Stochastic Pi-Calculus with Concurrent Objects. PhD thesis, University of Lille 1 (2007)"},{"key":"4_CR69","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Computational Methods in Systems Biology, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR70","first-page":"5","volume":"1","author":"P.K. Davis","year":"2004","unstructured":"Davis, P.K., Anderson, R.H.: Improving the composability of DoD models and simulations. JDMS\u00a01(1), 5\u201317 (2004)","journal-title":"JDMS"},{"key":"4_CR71","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"4_CR72","unstructured":"Zeigler, B.P., Sarjoughian, H.S.: Introduction to DEVS modeling and simulation with JAVA: Developing component-based simulation models. Arizona Cneter for Integrative Modleing and Simulation, University of Arizona and Arizona State University, Tucson, Arizona, USA (January 2005)"},{"key":"4_CR73","unstructured":"Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii). Technical Report UCB\/EECS-2007-7, EECS Department, University of California, Berkeley (January 2007)"},{"key":"4_CR74","unstructured":"W3C: Web services architecture W3C Working Group Note February 11 (2004), http:\/\/www.w3.org\/TR\/2004\/NOTE-ws-arch-20040211\/"},{"key":"4_CR75","volume-title":"Processing XML with Java","author":"E.R. Harold","year":"2002","unstructured":"Harold, E.R.: Processing XML with Java. Pearson Education, London (2002)"},{"key":"4_CR76","unstructured":"W3C: XML Schema part 0: Primer 2nd edn W3C Recommendation (October 28, 2004), http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-0-20041028\/"},{"key":"4_CR77","unstructured":"W3C: Semantic annotations for WSDL (2006) W3C Working Draft (September 28, 2006), http:\/\/www.w3.org\/TR\/2006\/WD-sawsdl-20060928\/"},{"key":"4_CR78","doi-asserted-by":"crossref","unstructured":"R\u00f6hl, M., Morgenstern, S.: Composing simulation models using interface definitions based on web service descriptions. In: Proceedings of the 2007 Winter Simulation Conference, pp. 815\u2013822 (2007)","DOI":"10.1109\/WSC.2007.4419677"},{"key":"4_CR79","unstructured":"W3C: Web services description language (WSDL) version 2.0 part 1: Core language (2006) W3C Candidate Recommendation (March 27, 2006), http:\/\/www.w3.org\/TR\/2006\/CR-wsdl20-20060327"},{"key":"4_CR80","unstructured":"Tolk, A., Muguira, J.: The level of conceptual interoperability model. In: Fall Simulation Interoperability Workshop (SISO), Orlando (September 2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Computational Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68894-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T14:15:42Z","timestamp":1738246542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68894-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540688921","9783540688945"],"references-count":80,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68894-5_4","relation":{},"subject":[]}}