{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T01:18:34Z","timestamp":1794446314234,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642384929","type":"print"},{"value":"9783642384936","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_1","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T20:45:06Z","timestamp":1368132306000},"page":"1-15","source":"Crossref","is-referenced-by-count":7,"title":["Stochastic Process Algebra and Stability Analysis of Collective Systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"GNU Octave, http:\/\/www.gnu.org\/software\/octave\/"},{"key":"1_CR2","unstructured":"Matlab symbolic toolbox, http:\/\/www.mathworks.it\/products\/symbolic\/"},{"key":"1_CR3","unstructured":"Maxima, a computer algebra system, http:\/\/maxima.sourceforge.net\/"},{"key":"1_CR4","unstructured":"SBML: Systems Biology Markup Language, http:\/\/sbml.org"},{"key":"1_CR5","unstructured":"Bortolussi, L., Le Boudec, J.Y., Latella, D., Massink, M.: Revisiting the limit behaviour of El Botellon. Tech. Rep. EPFL-REPORT-179935, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne - INFOSCIENCE (July 2012)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA Tool Suite. In: Proc. of the 6th Int. Conf. on Quantitative Evaluation of SysTems (QEST 2009), pp. 309\u2013310 (2009)","DOI":"10.1109\/QEST.2009.27"},{"issue":"33-34","key":"1_CR7","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"TCS"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1504\/IJBIC.2011.041144","volume":"3","author":"R. Frei","year":"2011","unstructured":"Frei, R., Di Marzo Serugendo, G.: Advances in complexity engineering. International Journal of Bio-Inspired Computation\u00a03, 199\u2013212 (2011)","journal-title":"International Journal of Bio-Inspired Computation"},{"issue":"25","key":"1_CR9","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. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling, distinguished Dissertation in Computer Science. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33\u201343. IEEE Computer Society (2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"10","key":"1_CR12","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1093\/bioinformatics\/btl111","volume":"22","author":"S.M. Keating","year":"2006","unstructured":"Keating, S.M., Bornstein, B.J., Finney, A., Hucka, M.: SBMLToolbox: an SBML toolbox for MATLAB users. Bioinformatics\u00a022(10), 1275\u20131277 (2006), http:\/\/sbml.org\/Software\/SBMLToolbox","journal-title":"Bioinformatics"},{"key":"1_CR13","unstructured":"Khalil, H.K.: Nonlinear systems. MacMillan Pub. Co. (1992)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)","DOI":"10.1145\/1530873.1530882"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-19811-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Massink","year":"2011","unstructured":"Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling non-linear crowd dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol.\u00a06603, pp. 96\u2013110. Springer, Heidelberg (2011)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-32650-9_3","volume-title":"Swarm Intelligence","author":"M. Massink","year":"2012","unstructured":"Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: Analysing robot swarm decision-making with Bio-PEPA. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Engelbrecht, A.P., Gro\u00df, R., St\u00fctzle, T. (eds.) ANTS 2012. LNCS, vol.\u00a07461, pp. 25\u201336. Springer, Heidelberg (2012)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-30829-1_11","volume-title":"Coordination Models and Languages","author":"M. Massink","year":"2012","unstructured":"Massink, M., Latella, D.: Fluid analysis of foraging ants. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 152\u2013165. Springer, Heidelberg (2012)"},{"key":"1_CR18","unstructured":"MATLAB: v. 7.10.0 (R2010a). The MathWorks Inc., Natick(2010)"},{"issue":"6","key":"1_CR19","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MC.2011.187","volume":"44","author":"M. Naphade","year":"2011","unstructured":"Naphade, M., Banavar, G., Harrison, C., Paraszczak, J., Morris, R.: Smarter cities and their innovation challenges. Computer\u00a044(6), 32\u201339 (2011)","journal-title":"Computer"},{"key":"1_CR20","unstructured":"Nocedal, J., Wright, S.J.: Numerical Optimization, 2nd edn. Springer (2006)"},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"363","DOI":"10.25088\/ComplexSystems.14.4.363","volume":"14","author":"J.E. Rowe","year":"2003","unstructured":"Rowe, J.E., Gomez, R.: El Botell\u00f3n: Modeling the movement of crowds in a city. Complex Systems\u00a014, 363\u2013370 (2003)","journal-title":"Complex Systems"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Strogatz, S.H.: Non-linear dynamics and chaos: with applications to physics, biology, chemistry, and engineering. Perseus Books Publishing (1994)","DOI":"10.1063\/1.4823332"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38493-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:25:44Z","timestamp":1745990744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}