{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:08:30Z","timestamp":1753520910020},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_21","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T14:33:45Z","timestamp":1409150025000},"page":"249-264","source":"Crossref","is-referenced-by-count":8,"title":["Probabilistic Programming Process Algebra"],"prefix":"10.1007","author":[{"given":"Anastasis","family":"Georgoulas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Milios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A process algebraic approach to software architecture design. Springer (2010)","DOI":"10.1007\/978-1-84800-223-4"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-73433-8_19","volume-title":"Algebraic Biology","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Bracciali, A., Brodo, L., Bruni, R.: Deducing Interactions in Partially Unspecified Biological Systems. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 262\u2013276. Springer, Heidelberg (2007)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-40196-1_7","volume-title":"Quantitative Evaluation of Systems","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol.\u00a08054, pp. 89\u2013105. Springer, Heidelberg (2013)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-39799-8_7","volume-title":"Computer Aided Verification","author":"L. Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., Dra\u017ean, S., \u0160afr\u00e1nek, D.: Exploring parameter space of stochastic biochemical systems using quantitative model checking. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 107\u2013123. Springer, Heidelberg (2013)"},{"issue":"34","key":"21_CR6","doi-asserted-by":"publisher","first-page":"4373","DOI":"10.1016\/j.tcs.2011.05.010","volume":"412","author":"B. Caillaud","year":"2011","unstructured":"Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wsowski, A.: Constraint Markov Chains. Theor. Comp. Science\u00a0412(34), 4373\u20134404 (2011)","journal-title":"Theor. Comp. Science"},{"key":"21_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine Learning Biochemical Networks from Temporal Logic Properties. In: Priami, C., Plotkin, G. (eds.) Trans. on Comput. Syst. Biol. VI. LNCS (LNBI), vol.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006)"},{"issue":"33-34","key":"21_CR8","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. Theor. Comp. Science\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theor. Comp. Science"},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Daley, D.J., Kendall, D.G.: Epidemics and Rumours. Nature\u00a0204(4963) (1964)","DOI":"10.1038\/2041118a0"},{"issue":"43","key":"21_CR11","doi-asserted-by":"publisher","first-page":"6058","DOI":"10.1016\/j.tcs.2011.07.006","volume":"412","author":"V. Galpin","year":"2011","unstructured":"Galpin, V.: Equivalences for a biological process algebra. Theor. Comp. Science\u00a0412(43), 6058\u20136082 (2011)","journal-title":"Theor. Comp. Science"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-40708-6_12","volume-title":"Computational Methods in Systems Biology","author":"A. Georgoulas","year":"2013","unstructured":"Georgoulas, A., Hillston, J., Sanguinetti, G.: ABC\u2013Fun: A Probabilistic Programming Language for Biology. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol.\u00a08130, pp. 150\u2013163. Springer, Heidelberg (2013)"},{"key":"21_CR13","unstructured":"Goodman, N.D., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: a language for generative models. In: McAllester, D.A., Myllym\u00e4ki, P. (eds.) UAI, pp. 220\u2013229. AUAI Press (2008)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Hermanns, H.: Interactive Markov Chains: and the quest for quantified quality. Springer (2002)","DOI":"10.1007\/3-540-45804-2"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. CUP (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian Approach to Model Checking Biological Systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Marco, D., Cairns, D., Shankland, C.: Optimisation of process algebra models using evolutionary computation. In: 2011 IEEE Congress on Evolutionary Computation (CEC), pp. 1296\u20131301 (2011)","DOI":"10.1109\/CEC.2011.5949765"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Marco, D., Shankland, C., Cairns, D.: Evolving Bio-PEPA process algebra models using genetic programming. In: Proceedings of the Fourteenth International Conference on Genetic and Evolutionary Computation Conference, GECCO 2012, New York, NY, USA, pp. 177\u2013184 (2012)","DOI":"10.1145\/2330163.2330189"},{"key":"21_CR19","unstructured":"Minka, T., Winn, J., Guiver, J., Knowles, D.: Infer.NET 2.5, Microsoft Research Cambridge (2012), http:\/\/research.microsoft.com\/infernet"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"de Nicola, R., Latella, D., Loreti, M., Massink, M.: A Uniform Definition of Stochastic Process Calculi. ACM Comput. Surv.\u00a046(1), 5:1\u20135:35 (2013)","DOI":"10.1145\/2522968.2522973"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Pfeffer, A.: The Design and Implementation of IBAL: A General-Purpose Probabilistic Language. In: Getoor, L., Taskar, B. (eds.) Introduction to Statistical Relational Learning. The MIT Press (2007)","DOI":"10.7551\/mitpress\/7432.003.0016"},{"key":"21_CR22","unstructured":"Pfeffer, A.: CTPPL: A Continuous Time Probabilistic Programming Language. In: IJCAI, pp. 1943\u20131950 (2009)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Sciacca, E., Spinella, S., Calcagno, C., Damiani, F., Coppo, M.: Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. ENTCS\u00a0293, 83\u201396 (2013), Proceedings of CS2Bio 2012","DOI":"10.1016\/j.entcs.2013.02.020"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/11691372_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-Checking Markov Chains in the Presence of Uncertainties. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 394\u2013410. Springer, Heidelberg (2006)"},{"issue":"31","key":"21_CR25","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1098\/rsif.2008.0172","volume":"6","author":"T. Toni","year":"2009","unstructured":"Toni, T., Welch, D., Strelkowa, N., Ipsen, A., Stumpf, M.P.: Approximate Bayesian computation scheme for parameter inference and model selection in dynamical systems. Journal of The Royal Society Interface\u00a06(31), 187\u2013202 (2009)","journal-title":"Journal of The Royal Society Interface"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T07:39:22Z","timestamp":1689493162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}