{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T16:10:01Z","timestamp":1756743001678,"version":"3.44.0"},"reference-count":315,"publisher":"Informa UK Limited","issue":"5","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2025,9,3]]},"DOI":"10.1080\/17445760.2025.2527713","type":"journal-article","created":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T23:04:46Z","timestamp":1752188686000},"page":"501-569","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Comparing dtsdPBC with other stochastic process algebras"],"prefix":"10.1080","volume":"40","author":[{"given":"I. V.","family":"Tarasyuk","sequence":"first","affiliation":[{"name":"Siberian Branch of the Russian Academy of Sciences","place":["Novosibirsk, Russian Federation"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2025,7,10]]},"reference":[{"key":"e_1_3_3_2_1","volume-title":"Communicating sequential processes","author":"Hoare CAR.","year":"1985","unstructured":"Hoare CAR. Communicating sequential processes. London: Prentice-Hall; 1985."},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"e_1_3_3_4_1","volume-title":"Communication and concurrency","author":"Milner RAJ.","year":"1989","unstructured":"Milner RAJ. Communication and concurrency. Upper Saddle River (NJ): Prentice-Hall; 1989."},{"key":"e_1_3_3_5_1","unstructured":"Hermanns H Rettelbach M. Syntax semantics equivalences and axioms for MTIPP. In: Herzog U Rettelbach M editors. Proc. 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1994; (Arbeitsberichte des IMMD; Vol. 27); Regensberg \/ Erlangen Germany. Universit\u00e4t Erlangen-N\u00fcrnberg Germany; 1994. p. 71\u201388."},{"key":"e_1_3_3_6_1","unstructured":"Hillston J. A compositional approach to performance modelling [dissertation]. Edinburgh UK: Department of Computer Science University of Edinburgh; 1994."},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"e_1_3_3_9_1","doi-asserted-by":"crossref","unstructured":"Best E Devillers R Hall JG. The box calculus: a new causal algebra with multi-label communication. In: Rozenberg G editor. Advances in Petri Nets (APN) 1992; (Lect. Notes Comp. Sci.; Vol. 609). Springer; 1992. p. 21\u201369.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"e_1_3_3_10_1","doi-asserted-by":"crossref","unstructured":"Best E Koutny M. A refined view of the box algebra. In: Michelis GD Diaz M editors. Proc. 16th Int. Conf. on Application and Theory of Petri Nets (ICATPN) 1995; (Lect. Notes Comp. Sci.; Vol. 935). Springer; 1995. p. 1\u201320.","DOI":"10.1007\/3-540-60029-9_29"},{"key":"e_1_3_3_11_1","doi-asserted-by":"crossref","unstructured":"Best E Devillers R Koutny M. Petri net algebra. Springer; 2001. (EATCS Monographs on Theor. Comput. Sci).","DOI":"10.1007\/978-3-662-04457-5"},{"key":"e_1_3_3_12_1","doi-asserted-by":"crossref","unstructured":"Best E Devillers R. Petri net primer: a compendium on the core model analysis and synthesis. 1st ed. Springer International Publishing Cham Switzerland \/ Birkh\u00e4user Germany; 2024. (Computer Science Foundations and Applied Logic Series (CSFAL)).","DOI":"10.1007\/978-3-031-48278-6"},{"key":"e_1_3_3_13_1","doi-asserted-by":"crossref","unstructured":"Koutny M. A compositional model of time Petri nets. In: Nielsen M Simpson D editors. Proc. 21st Int. Conf. on Application and Theory of Petri Nets (ICATPN) 2000; (Lect. Notes Comp. Sci.; Vol. 1825). Springer; 2000. p. 303\u2013322.","DOI":"10.1007\/3-540-44988-4_18"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"e_1_3_3_15_1","unstructured":"Marroqu\u0131n AO de Frutos ED. TPBC: timed Petri box calculus. Madrid Spain: Departamento de Sistemas Infofm\u00e1ticos y Programaci\u00f3n Universidad Complutense de Madrid; 2000. Technical report. In Spanish."},{"key":"e_1_3_3_16_1","doi-asserted-by":"crossref","unstructured":"Marroqu\u0131 n AO de Frutos ED. Extending the Petri box calculus with time. In: Colom JM Koutny M editors. Proc. 22nd Int. Conf. on Applications and Theory of Petri Nets (ICATPN) 2001; (Lect. Notes Comp. Sci.; Vol. 2075). Springer; 2001. p. 303\u2013322.","DOI":"10.1007\/3-540-45740-2_18"},{"key":"e_1_3_3_17_1","unstructured":"Ramchandani C. Perfomance evaluation of asynchronous concurrent systems by timed Petri nets [dissertation]. Cambridge USA: Massachusetts Institute of Technology; 1973."},{"key":"e_1_3_3_18_1","doi-asserted-by":"crossref","unstructured":"Niaouris A. An algebra of Petri nets with arc-based time restrictions. In: Liu Z Araki K editors. Proc. 1st Int. Colloquium on Theoretical Aspects of Computing (ICTAC) 2004; (Lect. Notes Comp. Sci.; Vol. 3407). Springer; 2005. p. 447\u2013462.","DOI":"10.1007\/978-3-540-31862-0_32"},{"key":"e_1_3_3_19_1","unstructured":"Niaouris A Koutny M. An algebra of timed-arc Petri nets. Newcastle upon Tyne UK: School of Computer Science University of Newcastle upon Tyne; 2005. Technical Report CS-TR-895."},{"key":"e_1_3_3_20_1","unstructured":"Bolognesi T Lucidi F Trigila S. From timed Petri nets to timed LOTOS. In: Logrippo L Probert RL Ural H editors. Proc. IFIP WG6.1 10th Int. Symposium on Protocol Specification Testing and Verification (PSTV) 1990; Ottawa Ontario Canada. Elsevier Science Publishers (North-Holland) Amsterdam The Netherlands; 1990. p. 395\u2013408."},{"key":"e_1_3_3_21_1","doi-asserted-by":"crossref","unstructured":"Hanish HM. Analysis of place\/transition nets with timed-arcs and its application to batch process control. In: Marsan MA editor. Proc. 14th Int. Conf. on Application and Theory of Petri Nets (ICATPN) 1993; (Lect. Notes Comp. Sci.; Vol. 691). Springer; 1993. p. 282\u2013299.","DOI":"10.1007\/3-540-56863-8_52"},{"key":"e_1_3_3_22_1","doi-asserted-by":"crossref","unstructured":"Maci\u00e0 SH Valero RV de Frutos ED. sPBC: a Markovian extension of finite Petri box calculus. In: Proc. 9th IEEE Int. Workshop on Petri Nets and Performance Models (PNPM) 2001; Aachen Germany. IEEE Computer Society Press; 2001. p. 207\u2013216.","DOI":"10.1109\/PNPM.2001.953370"},{"key":"e_1_3_3_23_1","doi-asserted-by":"crossref","unstructured":"Maci\u00e0 SH Valero RV Cazorla LDC et\u00a0al. Introducing the iteration in sPBC. In: de Frutos E D N\u00fa\u00f1ez G M editors. Proc. 24th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE) 2004; (Lect. Notes Comp. Sci.; Vol. 3235). Springer; 2004. p. 292\u2013308.","DOI":"10.1007\/978-3-540-30232-2_19"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0045-2"},{"key":"e_1_3_3_25_1","doi-asserted-by":"crossref","unstructured":"Marsan MA. Stochastic Petri nets: an elementary introduction. In: Rozenberg G editor. Advances in Petri Nets (APN) 1989; (Lect. Notes Comp. Sci.; Vol. 424). Springer; 1990. p. 1\u201329.","DOI":"10.1007\/3-540-52494-0_23"},{"key":"e_1_3_3_26_1","doi-asserted-by":"crossref","unstructured":"Balbo G. Introduction to stochastic Petri nets. In: Brinksma E Hermanns H Katoen JP editors. Proc. 1st EEF\/Euro Summer School of Trends in Comp. Sci. 2000; (Lect. Notes Comp. Sci.; Vol. 2090). Springer; 2001. p. 84\u2013155.","DOI":"10.1007\/3-540-44667-2_3"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.3233\/FUN-2008-873-405"},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.18576\/amis\/100210"},{"key":"e_1_3_3_29_1","doi-asserted-by":"crossref","unstructured":"Balbo G. Introduction to generalized stochastic Petri nets. In: Bernardo M Hillston J editors. Formal Methods for Performance Evaluation. Proc. 7th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2007; (Lect. Notes Comp. Sci.; Vol. 4486). Springer; 2007. p. 83\u2013131.","DOI":"10.1007\/978-3-540-72522-0_3"},{"key":"e_1_3_3_30_1","unstructured":"Tarasyuk IV. Discrete time stochastic Petri box calculus. Oldenburg Germany: Carl von Ossietzky Universit\u00e4t Oldenburg; 2005. (Berichte aus dem Department f\u00fcr Informatik 3\/05). Available from: http:\/\/itar.iis.nsk.su\/files\/itar\/pages\/dtspbcib_cov.pdf."},{"key":"e_1_3_3_31_1","first-page":"129","article-title":"Iteration in discrete time stochastic Petri box calculus","volume":"24","author":"Tarasyuk IV.","year":"2006","unstructured":"Tarasyuk IV. Iteration in discrete time stochastic Petri box calculus. Bull Nov Comp Center Comp Science, IIS Special Issue. 2006;24:129\u2013148. Available from: http:\/\/bulletin.iis.nsk.su\/files\/article\/tarasyuk_2.pdf","journal-title":"Bull Nov Comp Center Comp Science, IIS Special Issue"},{"key":"e_1_3_3_32_1","doi-asserted-by":"publisher","DOI":"10.3233\/FUN-2007-761-212"},{"key":"e_1_3_3_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000029"},{"key":"e_1_3_3_34_1","unstructured":"Molloy MK. On the integration of the throughput and delay measures in distributed processing models [dissertation]. Los Angeles (CA) USA: University of California; 1981."},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232230"},{"key":"e_1_3_3_36_1","unstructured":"Tarasyuk IV Maci\u00e0 SH Valero RV. Discrete time stochastic Petri box calculus with immediate multiactions. Albacete Spain: Department of Computer Systems High School of Computer Science Engineering University of Castilla -- La Mancha; 2010. Technical Report DIAB-10-03-1. Available from: http:\/\/www.dsi.uclm.es\/descargas\/technicalreports\/DIAB-10-03-1\/dtsipbc.pdf."},{"key":"e_1_3_3_37_1","doi-asserted-by":"crossref","unstructured":"Tarasyuk IV Maci\u00e0 SH Valero RV. Discrete time stochastic Petri box calculus with immediate multiactions dtsiPBC. In: Bradley J Heljanko K Knottenbelt W et\u00a0al. editors. Proc. 6th Int. Workshop on Practical Applications of Stochastic Modelling (PASM) 2012 and 11th Int. Workshop on Parallel and Distributed Methods in Verification (PDMC) 2012; (Electronic Notes in Theor. Comp. Sci.; Vol. 296); London UK. Elsevier; 2013. p. 229\u2013252.","DOI":"10.1016\/j.entcs.2013.07.015"},{"key":"e_1_3_3_38_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768814050089"},{"key":"e_1_3_3_39_1","first-page":"513","article-title":"Stochastic process reduction for performance evaluation in dtsiPBC","volume":"12","author":"Tarasyuk IV","year":"2015","unstructured":"Tarasyuk IV, Maci\u00e0 SH, Valero RV. Stochastic process reduction for performance evaluation in dtsiPBC. Sib Electron Math Rep. 2015;12:513\u2013551.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_3_40_1","first-page":"1743","article-title":"Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC","volume":"15","author":"Tarasyuk IV","year":"2018","unstructured":"Tarasyuk IV, Maci\u00e0 SH, Valero RV. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. Sib Electron Math Rep. 2018;15:1743\u20131812.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_3_41_1","unstructured":"Tarasyuk IV. Discrete time stochastic and deterministic Petri box calculus. Ithaca NY USA: Computing Research Repository Cornell University Library; 2019. CoRR abs\/1905.00456."},{"key":"e_1_3_3_42_1","first-page":"1598","article-title":"Discrete time stochastic and deterministic Petri box calculus dtsdPBC","volume":"17","author":"Tarasyuk IV.","year":"2020","unstructured":"Tarasyuk IV. Discrete time stochastic and deterministic Petri box calculus dtsdPBC. Sib Electron Math Rep. 2020;17:1598\u20131679.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_3_43_1","first-page":"1105","article-title":"Performance evaluation in stochastic process algebra dtsdPBC","volume":"18","author":"Tarasyuk IV.","year":"2021","unstructured":"Tarasyuk IV. Performance evaluation in stochastic process algebra dtsdPBC. Sib Electron Math Rep. 2021;18:1105\u20131145.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_3_44_1","first-page":"646","article-title":"Performance preserving equivalence for stochastic process algebra dtsdPBC","volume":"20","author":"Tarasyuk IV.","year":"2023","unstructured":"Tarasyuk IV. Performance preserving equivalence for stochastic process algebra dtsdPBC. Sib Electron Math Rep. 2023;20:646\u2013699.","journal-title":"Sib Electron Math Rep"},{"key":"e_1_3_3_45_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2024.2417873"},{"key":"e_1_3_3_46_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2025.2493128"},{"key":"e_1_3_3_47_1","doi-asserted-by":"crossref","unstructured":"Zijal R German R. A new approach to discrete time stochastic Petri nets. In: Cohen G Quadrat JP editors. Proc. 11th Int. Conf. on Analysis and Optimization of Systems Discrete Event Systems (DES) 1994; (Lect. Notes in Control and Information Sciences; Vol. 199); Sophia-Antipolis France. Springer; 1994. p. 198\u2013204.","DOI":"10.1007\/BFb0033549"},{"key":"e_1_3_3_48_1","doi-asserted-by":"crossref","unstructured":"Zijal R. Discrete time deterministic and stochastic Petri nets. In: Hommel G editor. Proc. Int. Workshop on Quality of Communication-Based Systems 1994; Technical University of Berlin Germany. Kluwer Academic Publishers; 1995. p. 123\u2013136.","DOI":"10.1007\/978-94-011-0187-5_8"},{"key":"e_1_3_3_49_1","unstructured":"Zijal R. Analysis of discrete time deterministic and stochastic Petri nets [dissertation]. Berlin Germany: Technical University of Berlin; 1997."},{"key":"e_1_3_3_50_1","unstructured":"Marsan MA Balbo G Conte G et\u00a0al. Modelling with generalized stochastic Petri nets. John Wiley and Sons; 1995. (Wiley series in parallel computing)."},{"key":"e_1_3_3_51_1","doi-asserted-by":"publisher","DOI":"10.1111\/stan.2000.54.issue-2"},{"key":"e_1_3_3_52_1","volume-title":"Probability, Markov chains, queues, and simulation. the mathematical basis of performance modeling","author":"Stewart WJ.","year":"2009","unstructured":"Stewart WJ. Probability, Markov chains, queues, and simulation. the mathematical basis of performance modeling. Princeton (NJ): Princeton University Press; 2009."},{"key":"e_1_3_3_53_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119285441"},{"key":"e_1_3_3_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-15142-3"},{"key":"e_1_3_3_55_1","doi-asserted-by":"crossref","unstructured":"Hashemi V Hermanns H Song L. Reward-bounded reachability probability for uncertain weighted MDPs. In: Jobstmann B Leino KRM editors. Proc. 17th Int. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI) 2016; (Lect. Notes Comp. Sci.; Vol. 9583). Springer; 2016. p. 351\u2013371.","DOI":"10.1007\/978-3-662-49122-5_17"},{"key":"e_1_3_3_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.1"},{"key":"e_1_3_3_57_1","doi-asserted-by":"crossref","unstructured":"G\u00f6tz N Herzog U Rettelbach M. Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello L Nelson R editors. Performance Evaluation of Computer and Communication Systems. Joint Tutorial Papers of 16th IFIP Int. Symposium on Computer Performance Modeling Measurement and Evaluation (Performance) 1993 and Int. Conf. on Measurement and Modeling of Computer Systems (SIGMETRICS) 1993; (Lect. Notes Comp. Sci.; Vol. 729). Springer; 1993. p. 121\u2013146.","DOI":"10.1007\/BFb0013851"},{"key":"e_1_3_3_58_1","unstructured":"Rettelbach M. Immediate transitions in stochastic process algebras \u2013 theory and application [dissertation]. Germany: Universit\u00e4t Erlangen-N\u00fcrnberg; 1995. In German."},{"key":"e_1_3_3_59_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.590"},{"key":"e_1_3_3_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(03)00069-5"},{"key":"e_1_3_3_61_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2706"},{"key":"e_1_3_3_62_1","unstructured":"Bernardo M. Theory and application of extended Markovian process algebra [dissertation]. Italy: University of Bologna; 1999."},{"key":"e_1_3_3_63_1","doi-asserted-by":"crossref","unstructured":"Clark G Gilmore S Hillston J et\u00a0al. Stochastic process algebras. In: Bernardo M Hillston J editors. Formal Methods for Performance Evaluation. Proc. 7th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2007; (Lect. Notes Comp. Sci.; Vol. 4486). Springer; 2007. p. 132\u2013179.","DOI":"10.1007\/978-3-540-72522-0_4"},{"key":"e_1_3_3_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212019.3212023"},{"key":"e_1_3_3_65_1","unstructured":"Katoen JP. Quantinative and qualitative extensions of event structures [dissertation]. Enschede The Netherlands: Centre for Telematics and Information Technology University of Twente; 1996."},{"key":"e_1_3_3_66_1","doi-asserted-by":"crossref","unstructured":"Bolognesi T Lucidi F. LOTOS-like process algebras with urgent or timed interactions. In: Parker KR Rose GA editors. Proc. IFIP TC6\/WG6.1 4th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques IV (FORTE) 1991; Sydney Australia. Elsevier Science Publishers (North-Holland) Amsterdam The Netherlands; 1992. p. 249\u2013264; IFIP Transactions C: Communication Systems.","DOI":"10.1016\/B978-0-444-89402-1.50027-8"},{"key":"e_1_3_3_67_1","unstructured":"Neuts MF. Matrix-geometric solutions in stochastic models: an algorithmic approach. Baltimore (MD) USA: Johns Hopkins University Press; 1981. (Johns Hopkins series in the mathematical sciences; vol. 2)."},{"key":"e_1_3_3_68_1","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th A Paolieri M Vicario E. Approximating distributions and transient probabilities by matrix exponential distributions and functions. Beverly (MA) USA: Scrivener Publishing LLC; 2015. Chapter 5; p. 107\u2013127. (Performability engineering series).","DOI":"10.1002\/9781119131151.ch5"},{"key":"e_1_3_3_69_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047"},{"key":"e_1_3_3_70_1","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th A Vicario E. Construction of phase type distributions by Bernstein exponentials. In: Iacono M Scarpa M Barbierato E et\u00a0al. editors. Proc. 19th European Performance Engineering Workshop (EPEW) 2023 and 27th Int. Conf. on Analytical and Stochastic Modeling Techniques and Applications (ASMTA) 2023; (Lect. Notes Comp. Sci.; Vol. 14231). Springer; 2023. p. 201\u2013215.","DOI":"10.1007\/978-3-031-43185-2_14"},{"key":"e_1_3_3_71_1","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th A Horv\u00e1th I Paolieri M et\u00a0al. Approximation of cumulative distribution functions by Bernstein phase-type distributions. In: Hillston J Soudjani S Waga M editors. Proc. 1st Int. Joint Conf. on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST-FORMATS) 2024; (Lect. Notes Comp. Sci.; Vol. 14996). Springer; 2024. p. 90\u2013106.","DOI":"10.1007\/978-3-031-68416-6_6"},{"key":"e_1_3_3_72_1","unstructured":"El-Rayes A Kwiatkowska M Norman G. Solving infinite stochastic process algebra models through matrix-geometric methods. In: Hillston J Silva M editors. Proc. 7th Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1999; Zaragoza Spain. Prensas Universitarias de Zaragoza Spain; 1999. p. 41\u201362."},{"key":"e_1_3_3_73_1","doi-asserted-by":"crossref","unstructured":"Buchholz P Kemper P. Quantifying the dynamic behavior of process algebras. In: de Alfaro L Gilmore S editors. Proc. 1st Joint Int. Workshop on Process Algebra and Probabilistic Methods. Performance Modeling and Verification (PAPM-PROBMIV) 2001; (Lect. Notes Comp. Sci.; Vol. 2165). Springer; 2001. p. 184\u2013199.","DOI":"10.1007\/3-540-44804-7_12"},{"key":"e_1_3_3_74_1","doi-asserted-by":"crossref","unstructured":"Argent-Katwala A Bradley JT Dingle NJ. Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In: Proc. 4th Int. Workshop on Software and Performance (WOSP) 2004; Redwood Shores (CA) USA: ACM Press; 2004. p. 49\u201358.","DOI":"10.1145\/974044.974051"},{"key":"e_1_3_3_75_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth378"},{"key":"e_1_3_3_76_1","doi-asserted-by":"publisher","DOI":"10.1049\/sb:20045031"},{"key":"e_1_3_3_77_1","doi-asserted-by":"crossref","unstructured":"Faeder JR Blinov ML Hlavacek WS. Graphical rule-based representation of signal-transduction networks. In: Proc. ACM Symposium on Applied Computing (SAC) 2005; Santa Fe New Mexico USA: ACM Press; 2005. p. 133\u2013140.","DOI":"10.1145\/1066677.1066712"},{"key":"e_1_3_3_78_1","doi-asserted-by":"crossref","unstructured":"Hillston J. Fluid flow approximation of PEPA models. In: Proc. 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST) 2005; Turin Italy. IEEE Computer Society Press; 2005. p. 33\u201343.","DOI":"10.1109\/QEST.2005.12"},{"key":"e_1_3_3_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.02.001"},{"key":"e_1_3_3_80_1","doi-asserted-by":"crossref","unstructured":"Guenther MC Stefanek A Bradley JT. Moment closures for performance models with highly non-linear rates. In: Tribastone M Gilmore S editors. Computer Performance Engineering. Proc. 9th European Performance Engineering Workshop (EPEW) 2012 and 28th UK Performance Engineering Workshop (UKPEW) 2012; (Lect. Notes Comp. Sci.; Vol. 7587). Springer; 2013. p. 32\u201347.","DOI":"10.1007\/978-3-642-36781-6_3"},{"key":"e_1_3_3_81_1","doi-asserted-by":"crossref","unstructured":"Feng C Hillston J. Speed-up of stochastic simulation of PCTMC models by statistical model reduction. In: Beltr\u00e1n M Knottenbelt W Bradley J editors. Computer Performance Engineering. Proc. 12th European Performance Engineering Workshop (EPEW) 2015; (Lect. Notes Comp. Sci.; Vol. 9272). Springer; 2015. p. 291\u2013305.","DOI":"10.1007\/978-3-319-23267-6_19"},{"key":"e_1_3_3_82_1","unstructured":"Nicola RD Katoen JP Latella D et\u00a0al. StoKlaim: a stochastic extension of Klaim. Italy: Consiglio Nazionale delle Ricerche Istituto di Scienza e Tecnologie dell'Informazione \u2018A. Faedo\u2019; 2006. Technical Report 2006-TR-015."},{"key":"e_1_3_3_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.05.008"},{"key":"e_1_3_3_84_1","doi-asserted-by":"crossref","unstructured":"Nicola RD Latella D Loreti M et\u00a0al. Quantitative analysis of distributed systems in StoKlaim: a tutorial. Beverly (MA) USA: Scrivener Publishing LLC; 2015. Chapter 2; p. 27\u201355. (Performability engineering series).","DOI":"10.1002\/9781119131151.ch2"},{"key":"e_1_3_3_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_3_3_86_1","doi-asserted-by":"crossref","unstructured":"Bettini L Bono V Nicola RD et\u00a0al. The Klaim project: theory and practice. In: Priami C editor. Proc. IST\/FET Int. Workshop on Global Computing Programming Environments Languages Security and Analysys of Systems (GC) 2003; (Lect. Notes Comp. Sci.; Vol. 2874). Springer; 2003. p. 88\u2013150.","DOI":"10.1007\/978-3-540-40042-4_4"},{"key":"e_1_3_3_87_1","unstructured":"Phillips A Cardelli L. A correct abstract machine for the stochastic pi-calculus. In: Proc. Workshop on Concurrent Models in Molecular Biology (BioConcur'04) 2004. Elsevier; 2004. Electronic Notes in Theor. Comp. Sci. 15 pages."},{"key":"e_1_3_3_88_1","doi-asserted-by":"crossref","unstructured":"Phillips A Cardelli L Castagna G. A graphical representation for biological processes in the stochastic pi-calculus. In: Priami C Ing\u00f3lfsd\u00f3ttir A Mishra B et\u00a0al. editors. Transactions on Computational Systems Biology (TCSB) VII; (Lect. Notes Comp. Sci.; Vol. 4230). Springer; 2006. p. 123\u2013152.","DOI":"10.1007\/11905455_7"},{"key":"e_1_3_3_89_1","doi-asserted-by":"crossref","unstructured":"Phillips A Cardelli L. Efficient correct simulation of biological processes in the stochastic pi-calculus. In: Calder M Gilmore S editors. Proc. 4th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2007; (Lect. Notes Comp. Sci.; Vol. 4695). Springer; 2007. p. 184\u2013199.","DOI":"10.1007\/978-3-540-75140-3_13"},{"key":"e_1_3_3_90_1","first-page":"1","volume-title":"A visual process calculus for biology","author":"Phillips A.","year":"2010","unstructured":"Phillips A. A visual process calculus for biology. Sudbury (MA): Jones and Bartlett Publishers; Chapter 5. 2010. p. 1\u201359."},{"key":"e_1_3_3_91_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-118"},{"key":"e_1_3_3_92_1","doi-asserted-by":"crossref","unstructured":"Paulev\u00e9 L Youssef S Lakin MR et\u00a0al. A generic abstract machine for stochastic process calculi. In: Proc. 8th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2010; Trento Italy: ACM Press; 2010. p. 43\u201354.","DOI":"10.1145\/1839764.1839771"},{"key":"e_1_3_3_93_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"e_1_3_3_94_1","unstructured":"Priami C. Stochastic \u03c0-calculus with general distributions. In: Ribaudo M editor. Proc. 4th Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1996; Torino Italy. CLUT Press; 1996. p. 41\u201357."},{"key":"e_1_3_3_95_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.3058"},{"key":"e_1_3_3_96_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.12.057"},{"key":"e_1_3_3_97_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-018-9673-2"},{"key":"e_1_3_3_98_1","doi-asserted-by":"crossref","unstructured":"Danos V Feret J Fontana W et\u00a0al. Rule-based modelling of cellular signalling. In: Caires L Vasconcelos VT editors. Proc. 18th Int. Conf. on Concurrency Theory (CONCUR) 2007; (Lect. Notes Comp. Sci.; Vol. 4703). Springer; 2007. p. 17\u201341.","DOI":"10.1007\/978-3-540-74407-8_3"},{"key":"e_1_3_3_99_1","doi-asserted-by":"crossref","unstructured":"Danos V Feret J Fontana W et\u00a0al. Scalable simulation of cellular signaling networks. In: Shao Z editor. Proc. 5th Asian Symposium on Programming Languages and Systems (APLAS) 2007; (Lect. Notes Comp. Sci.; Vol. 4807). Springer; 2007. p. 139\u2013157.","DOI":"10.1007\/978-3-540-76637-7_10"},{"key":"e_1_3_3_100_1","doi-asserted-by":"crossref","unstructured":"Danos V Feret J Fontana W et\u00a0al. Abstract interpretation of cellular signalling networks. In: Logozzo F Peled DA Zuck LD editors. Proc 9th Int. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI) 2008; (Lect. Notes Comp. Sci.; Vol. 4905). Springer; 2008. p. 83\u201397.","DOI":"10.1007\/978-3-540-78163-9_11"},{"key":"e_1_3_3_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/3129173.3129182"},{"key":"e_1_3_3_102_1","doi-asserted-by":"crossref","unstructured":"Brodo L Degano P Priami C. A stochastic semantics for BioAmbients. In: Malyshkin V editor. Proc. 9th Int. Conf. on Parallel Computing Technologies (PaCT) 2007; (Lect. Notes Comp. Sci.; Vol. 4671). Springer; 2007. p. 22\u201334.","DOI":"10.1007\/978-3-540-73940-1_3"},{"key":"e_1_3_3_103_1","doi-asserted-by":"crossref","unstructured":"Phillips A. An abstract machine for the stochastic bioambient calculus. In: Ciobanu G editor. Proc. 2nd Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) 2008; (Electronic Notes in Theor. Comp. Sci.; Vol. 227); Iasi Romania. Elsevier; 2009. p. 143\u2013159.","DOI":"10.1016\/j.entcs.2008.12.109"},{"key":"e_1_3_3_104_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"e_1_3_3_105_1","unstructured":"Maus C John M R\u00f6hl M et\u00a0al. Hierarchical modeling for computational biology. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 81\u2013124."},{"key":"e_1_3_3_106_1","doi-asserted-by":"crossref","unstructured":"Guerriero ML Prandi D Priami C et\u00a0al. Process calculi abstractions for biology. Springer Berlin Heidelberg: Germany; 2009. Chapter 3.3; p. 463\u2013486. (Natural Computing Series (NCS)).","DOI":"10.1007\/978-3-540-88869-7_23"},{"key":"e_1_3_3_107_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129507006408"},{"key":"e_1_3_3_108_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.04.012"},{"key":"e_1_3_3_109_1","doi-asserted-by":"crossref","unstructured":"Krivine J Milner R Troina A. Stochastic bigraphs. In: Proc. 24th Conf. on the Mathematical Foundations of Programming Semantics (MFPS XXIV) 2008; (Electronic Notes in Theor. Comp. Sci.; Vol. 218); Philadelphia PA USA. Elsevier; 2008. p. 73\u201396.","DOI":"10.1016\/j.entcs.2008.10.006"},{"key":"e_1_3_3_110_1","doi-asserted-by":"crossref","unstructured":"P\u0103un G Romero-Campero FJ. Membrane computing as a modeling framework. cellular systems case studies. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 168\u2013214.","DOI":"10.1007\/978-3-540-68894-5_6"},{"key":"e_1_3_3_111_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.012"},{"key":"e_1_3_3_112_1","doi-asserted-by":"crossref","unstructured":"Cardelli L. From processes to ODEs by chemistry. In: Ausiello G Karhum\u00e4ki J Mauri G et\u00a0al. editors. Proc. 5th IFIP International Conference on Theoretical Computer Science (TCS) 2008 IFIP 20th World Computer Congress (WCC) 2008 TC1 Foundations of Computer Science; (IFIP International Federation for Information Processing (IFIPAICT); Vol. 273); Milan Italy. Springer Boston USA; 2008. p. 261\u2013281.","DOI":"10.1007\/978-0-387-09680-3_18"},{"key":"e_1_3_3_113_1","doi-asserted-by":"crossref","unstructured":"Zavattaro G. A gentle introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 507\u2013523.","DOI":"10.1007\/978-3-540-68894-5_14"},{"key":"e_1_3_3_114_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.10.058"},{"key":"e_1_3_3_115_1","doi-asserted-by":"crossref","unstructured":"Cardelli L Zavattaro G. On the computational power of biochemistry. In: Horimoto K Regensburger G Rosenkranz M et\u00a0al. editors. Proc. 3rd Int. Conf. on Algebraic Biology (AB) 2008; (Lect. Notes Comp. Sci.; Vol. 5147). Springer; 2008. p. 65\u201380.","DOI":"10.1007\/978-3-540-85101-1_6"},{"key":"e_1_3_3_116_1","doi-asserted-by":"crossref","unstructured":"Klin B Sassone V. Structural operational semantics for stochastic process calculi. In: Amadio R editor. Proc. 11th Int. Conf. on Foundations of Software Science and Computational Structures (FOSSACS) 2008; (Lect. Notes Comp. Sci.; Vol. 4962). Springer; 2008. p. 428\u2013442.","DOI":"10.1007\/978-3-540-78499-9_30"},{"key":"e_1_3_3_117_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522968.2522973"},{"key":"e_1_3_3_118_1","doi-asserted-by":"crossref","unstructured":"Barbuti R Caravagna G Maggiolo-Schettini A et\u00a0al. The calculus of looping sequences. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 387\u2013423.","DOI":"10.1007\/978-3-540-68894-5_11"},{"key":"e_1_3_3_119_1","doi-asserted-by":"crossref","unstructured":"Barbuti R Maggiolo-Schettini A Milazzo P et\u00a0al. Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. In: Priami C editor. Transactions on Computational Systems Biology (TCSB) IX; (Lect. Notes Comp. Sci.; Vol. 5121). Springer; 2008. p. 86\u2013113.","DOI":"10.1007\/978-3-540-88765-2_3"},{"key":"e_1_3_3_120_1","first-page":"21","article-title":"A calculus of looping sequences for modelling microbiological systems","volume":"72","author":"Barbuti R","year":"2006","unstructured":"Barbuti R, Maggiolo-Schettini A, Milazzo P, et\u00a0al. A calculus of looping sequences for modelling microbiological systems. Fundam Inform. 2006;72:21\u201335.","journal-title":"Fundam Inform"},{"key":"e_1_3_3_121_1","doi-asserted-by":"crossref","unstructured":"Pedersen MR Plotkin GD. A language for biochemical systems. In: Heiner M Uhrmacher AM editors. Proc. 6th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2008; (Lect. Notes Comp. Sci.; Vol. 5307). Springer; 2008. p. 63\u201382.","DOI":"10.1007\/978-3-540-88562-7_9"},{"key":"e_1_3_3_122_1","unstructured":"Pedersen MR Plotkin GD. A language for biochemical systems: design and formal specifications. In: Priami C Breitling R Gilbert D et\u00a0al. editors. Transactions on Computational Systems Biology (TCSB) XII. Special Issue on Modeling Methodologies; (Lect. Notes Comp. Sci.; Vol. 5945). Springer; 2010. p. 77\u2013145."},{"key":"e_1_3_3_123_1","doi-asserted-by":"crossref","unstructured":"Ciocchetta F Hillston J. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Cannata N Merelli E editors. Proc. 1st Workshop From Biology To Concurrency and back (FBTC) 2007; (Electronic Notes in Theor. Comp. Sci.; Vol. 194); Lisbon Portugal. Elsevier; 2008. p. 103\u2013117.","DOI":"10.1016\/j.entcs.2007.12.008"},{"key":"e_1_3_3_124_1","doi-asserted-by":"crossref","unstructured":"Ciocchetta F Hillston J. Process algebras in systems biology. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 265\u2013312.","DOI":"10.1007\/978-3-540-68894-5_8"},{"key":"e_1_3_3_125_1","doi-asserted-by":"crossref","unstructured":"Ciocchetta F Guerriero ML. Modelling biological compartments in Bio-PEPA. In: Ciobanu G editor. Proc. 2nd Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) 2008; (Electronic Notes in Theor. Comp. Sci.; Vol. 227); Iasi Romania. Elsevier; 2009. p. 77\u201395.","DOI":"10.1016\/j.entcs.2008.12.105"},{"key":"e_1_3_3_126_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"e_1_3_3_127_1","doi-asserted-by":"crossref","unstructured":"Galpin V Hillston J. Equivalence and discretisation in Bio-PEPA. In: Degano P Gorrieri R editors. Proc. 7th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2009; (Lect. Notes Comp. Sci.; Vol. 5688); 2009. p. 189\u2013204.","DOI":"10.1007\/978-3-642-03845-7_13"},{"key":"e_1_3_3_128_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.07.006"},{"key":"e_1_3_3_129_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.01.007"},{"key":"e_1_3_3_130_1","doi-asserted-by":"crossref","unstructured":"Galpin V. Modelling trafficking of proteins within the mammalian cell using Bio-PEPA. In: Gilbert D Heiner M editors. Proc. 10th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2012; (Lect. Notes Comp. Sci.; Vol. 7605). Springer; 2012. p. 374\u2013377.","DOI":"10.1007\/978-3-642-33636-2_24"},{"key":"e_1_3_3_131_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2011.0378"},{"key":"e_1_3_3_132_1","doi-asserted-by":"crossref","unstructured":"Massink M Latella D. Fluid analysis of foraging ants. In: Sirjani M editor. Proc. 14th Int. Conf. on Coordination Models and Languages (COORDINATION) 2012; (Lect. Notes Comp. Sci.; Vol. 7274). Springer; 2012. p. 152\u2013165.","DOI":"10.1007\/978-3-642-30829-1_11"},{"key":"e_1_3_3_133_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0188-1"},{"key":"e_1_3_3_134_1","doi-asserted-by":"crossref","unstructured":"Clark A Gilmore S Guerriero ML et\u00a0al. Conservation of mass analysis for Bio-PEPA. In: Bradley J Heljanko K Knottenbelt W et\u00a0al. editors. Proc. 6th Int. Workshop on Practical Applications of Stochastic Modelling (PASM) 2012 and 11th Int. Workshop on Parallel and Distributed Methods in Verification (PDMC) 2012; (Electronic Notes in Theor. Comp. Sci.; Vol. 296); London UK. Elsevier; 2013. p. 107\u2013126.","DOI":"10.1016\/j.entcs.2013.07.008"},{"key":"e_1_3_3_135_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-013-0079-6"},{"key":"e_1_3_3_136_1","doi-asserted-by":"crossref","unstructured":"Scott E Hoyle A Shankland C. PEPA'd oysters: converting dynamic energy budget models to Bio-PEPA illustrated by a Pacific oyster case study. In: Bradley J Heljanko K Knottenbelt W et\u00a0al. editors. Proc. 6th Int. Workshop on Practical Applications of Stochastic Modelling (PASM) 2012 and 11th Int. Workshop on Parallel and Distributed Methods in Verification (PDMC) 2012; (Electronic Notes in Theor. Comp. Sci.; Vol. 296); London UK. Elsevier; 2013. p. 211\u2013228.","DOI":"10.1016\/j.entcs.2013.07.014"},{"key":"e_1_3_3_137_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.016"},{"key":"e_1_3_3_138_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_3_3_139_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1378322"},{"key":"e_1_3_3_140_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L Vigliotti MG. CoBiC: context-dependent bioambient calculus. In: Baier C di Pierro A editors. Proc. 7th Workshop on Quantitative Aspects of Programming Languages (QAPL) 2009; (Electronic Notes in Theor. Comp. Sci.; Vol. 253). Elsevier; 2009. p. 187\u2013201.","DOI":"10.1016\/j.entcs.2009.10.012"},{"key":"e_1_3_3_141_1","doi-asserted-by":"crossref","unstructured":"Barbuti R Maggiolo-Schettini A Milazzo P et\u00a0al. Spatial calculus of looping sequences. In: Cannata N Merelli E Ulidowski I editors. Proc. 2nd Workshop From Biology to Concurrency and Back (FBTC) 2008; (Electronic Notes in Theor. Comp. Sci.; Vol. 229); Reykjavik Iceland. Elsevier; 2009. p. 21\u201339.","DOI":"10.1016\/j.entcs.2009.02.003"},{"key":"e_1_3_3_142_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.01.020"},{"key":"e_1_3_3_143_1","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini M Giannini P Troina A. A type system for a stochastic CLS. In: Ciobanu G editor. Proc. 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) 2009; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 11); Bologna Italy. Open Publishing Association; 2009. p. 91\u2013105.","DOI":"10.4204\/EPTCS.11.6"},{"key":"e_1_3_3_144_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.12.062"},{"key":"e_1_3_3_145_1","doi-asserted-by":"crossref","unstructured":"Coppo M Damiani F Drocco M et\u00a0al. Stochastic calculus of wrapped compatnents. In: Pierro AD Norman G editors. Proc. 8th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL) 2010; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 28). Open Publishing Association; 2010. p. 82\u201398.","DOI":"10.4204\/EPTCS.28.6"},{"key":"e_1_3_3_146_1","doi-asserted-by":"crossref","unstructured":"Coppo M Damiani F Drocco M et\u00a0al. Modelling ammonium transporters in Arbuscular Mycorrhiza symbiosis. In: Priami C Back RJ Petre I et\u00a0al. editors. Transactions on Computational Systems Biology (TCSB) XIII; (Lect. Notes Comp. Sci.; Vol. 6575). Springer; 2011. p. 85\u2013109.","DOI":"10.1007\/978-3-642-19748-2_5"},{"key":"e_1_3_3_147_1","doi-asserted-by":"crossref","unstructured":"Sciacca E Spinella S Calcagno C et\u00a0al. Parameter identification and assessment of nutrient transporters in AM symbiosis through stochastic simulations. In: Proc. 3rd Int. Workshop on Interactions Between Computer Science and Biology (CS2Bio) 2012; (Electronic Notes in Theor. Comp. Sci.; Vol. 293); Stockholm Sweden. Elsevier; 2013. p. 83\u201396.","DOI":"10.1016\/j.entcs.2013.02.020"},{"key":"e_1_3_3_148_1","doi-asserted-by":"crossref","unstructured":"Bacci G Miculan M. Measurable stochastics for Brane Calculus. In: Ciobanu G Koutny M editors. Proc. 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) 2010; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 40); Jena Germany. Open Publishing Association; 2010. p. 6\u201322.","DOI":"10.4204\/EPTCS.40.2"},{"key":"e_1_3_3_149_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.12.055"},{"key":"e_1_3_3_150_1","doi-asserted-by":"crossref","unstructured":"Cardelli L. Brane calculi: interactions of biological membranes. In: Danos V Schachter V editors. Proc. 2nd Int. Conf. on Computational Methods in Systems Biology (CMSB) 2004; (Lect. Notes Comp. Sci.; Vol. 3082). Springer; 2005. p. 257\u2013278.","DOI":"10.1007\/978-3-540-25974-9_24"},{"key":"e_1_3_3_151_1","doi-asserted-by":"crossref","unstructured":"Cardelli L Mardare R. The measurable space of stochastic processes. In: Proc. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2010; Williamsburg VA USA. IEEE Computer Society Press; 2010. p. 171\u2013180.","DOI":"10.1109\/QEST.2010.30"},{"key":"e_1_3_3_152_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2014-1019"},{"key":"e_1_3_3_153_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-010-9236-7"},{"key":"e_1_3_3_154_1","unstructured":"Degasperi A. Multi-scale modelling of biological systems in process algebra [dissertation]. Glasgow UK: School of Computing Science College of Science and Engineering University of Glasgow; 2011."},{"key":"e_1_3_3_155_1","doi-asserted-by":"crossref","unstructured":"Degasperi A Calder M. Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. In: Proc. 9th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2011; Paris France. ACM Press; 2011. p. 195\u2013208.","DOI":"10.1145\/2037509.2037537"},{"key":"e_1_3_3_156_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.03.018"},{"key":"e_1_3_3_157_1","doi-asserted-by":"crossref","unstructured":"Tschaikowski M Tribastone M. Exact fluid lumpability for Markovian process algebra. In: Koutny M Ulidowski I editors. Proc. 23rd Int. Conf. on Concurrency Theory (CONCUR) 2012; (Lect. Notes Comp. Sci.; Vol. 7454). Springer; 2012. p. 380\u2013394.","DOI":"10.1007\/978-3-642-32940-1_27"},{"key":"e_1_3_3_158_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.029"},{"key":"e_1_3_3_159_1","doi-asserted-by":"crossref","unstructured":"Vigliotti MG. Operational semantics for product-form solution. In: Tribastone M Gilmore S editors. Computer Performance Engineering. Proc. 9th European Performance Engineering Workshop (EPEW) 2012 and 28th UK Performance Engineering Workshop (UKPEW) 2012; (Lect. Notes Comp. Sci.; Vol. 7587). Springer; 2013. p. 16\u201331.","DOI":"10.1007\/978-3-642-36781-6_2"},{"key":"e_1_3_3_160_1","unstructured":"Plotkin GD. A calculus of chemical systems. In: Tannen V Wong L Libkin L et\u00a0al. editors. In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman; (Lect. Notes Comp. Sci.; Vol. 8000). Springer; 2013. p. 445\u2013465."},{"key":"e_1_3_3_161_1","doi-asserted-by":"crossref","unstructured":"Tschaikowski M Tribastone M. Extended differential aggregations in process algebra for performance and biology. In: Bertrand N Bortolussi L editors. Proc. 12th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL) 2014; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 154); Grenoble France. Open Publishing Association; 2014. p. 34\u201347.","DOI":"10.4204\/EPTCS.154.3"},{"key":"e_1_3_3_162_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.10.004"},{"key":"e_1_3_3_163_1","doi-asserted-by":"crossref","unstructured":"Iacobelli G Tribastone M Vandin A. Differential bisimulation for a Markovian process algebra. In: Italiano GF Pighizzini G Sanella DT editors. Proc. 40th Int. Symposium on Mathematical Foundations of Computer Science (MFCS) 2015; (Lect. Notes Comp. Sci.; Vol. 9234). Springer; 2015. p. 293\u2013306.","DOI":"10.1007\/978-3-662-48057-1_23"},{"key":"e_1_3_3_164_1","doi-asserted-by":"crossref","unstructured":"Georgoulas A Hillston J Milios D et\u00a0al. Probabilistic programming process algebra. In: Norman G Sanders W editors. Proc. 11th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2014; (Lect. Notes Comp. Sci.; Vol. 8657). Springer; 2014. p. 249\u2013264.","DOI":"10.1007\/978-3-319-10696-0_21"},{"key":"e_1_3_3_165_1","doi-asserted-by":"publisher","DOI":"10.1145\/3154392"},{"key":"e_1_3_3_166_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L Nicola RD Galpin V et al. CARMA: collective adaptive resource-sharing Markovian agents. In: Bertrand N Tribastone M editors. Proc. 13th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL) 2015; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 194); London: Open Publishing Association; 2015. p. 16\u201331.","DOI":"10.4204\/EPTCS.194.2"},{"key":"e_1_3_3_167_1","doi-asserted-by":"crossref","unstructured":"Loreti M Hillston J. Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo M Nicola RD Hillston J editors. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Proc. 16th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2016; (Lect. Notes Comp. Sci.; Vol. 9700). Springer; 2016. p. 83\u2013119.","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"e_1_3_3_168_1","doi-asserted-by":"publisher","DOI":"10.1145\/3155338"},{"key":"e_1_3_3_169_1","doi-asserted-by":"crossref","unstructured":"Vissat LL Hillston J Marion G et\u00a0al. MELA: modelling in ecology with location attributes. In: Tribastone M Wiklicky H editors. Proc. 14th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL) 2016; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 227); Eindhoven The Netherlands: Open Publishing Association; 2016. p. 82\u201397.","DOI":"10.4204\/EPTCS.227.6"},{"key":"e_1_3_3_170_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2020.02.020"},{"key":"e_1_3_3_171_1","doi-asserted-by":"crossref","unstructured":"Bernardo M Mezzina CA. Towards bridging time and causal reversibility. In: Gotsman A Sokolova A editors. Proc. 40th IFIP WG 6.1 Int. Conf. on Formal Techniques for Distributed Objects Components and Systems (FORTE) 2020; (Lect. Notes Comp. Sci.; Vol. 12136). Springer; 2020. p. 22\u201338.","DOI":"10.1007\/978-3-030-50086-3_2"},{"key":"e_1_3_3_172_1","first-page":"6:1","article-title":"Bridging causal reversibility and time reversibility: a stochastic process algebraic approac","volume":"19","author":"Bernardo M","year":"2023","unstructured":"Bernardo M, Mezzina CA. Bridging causal reversibility and time reversibility: a stochastic process algebraic approac. Logical Methods Comput Sci. 2023;19:6:1\u20136:27.","journal-title":"Logical Methods Comput Sci"},{"key":"e_1_3_3_173_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"e_1_3_3_174_1","unstructured":"Pulungan MR. Reduction of acyclic phase-type representations [dissertation]. Saarbr\u00fccken Germany: Fakult\u00e4t f\u00fcr Mathematik und Informatik Universit\u00e4t des Saarlandes; 2009."},{"key":"e_1_3_3_175_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0296-8"},{"key":"e_1_3_3_176_1","doi-asserted-by":"crossref","unstructured":"Bies A Hermanns H K\u00f6hl MA et\u00a0al. Matching distributions under structural constraints. In: Jansen N Tribastone M editors. Proc. 20th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2023; (Lect. Notes Comp. Sci.; Vol. 14287). Springer; 2023. p. 221\u2013237.","DOI":"10.1007\/978-3-031-43835-6_16"},{"key":"e_1_3_3_177_1","doi-asserted-by":"crossref","unstructured":"Guenther MC Bradley JT. Higher moment analysis of a spatial stochastic process algebra. In: Thomas N editor. Computer Performance Engineering. Proc. 8th European Performance Engineering Workshop (EPEW) 2011; (Lect. Notes Comp. Sci.; Vol. 6977). Springer; 2011. p. 87\u2013101.","DOI":"10.1007\/978-3-642-24749-1_8"},{"key":"e_1_3_3_178_1","unstructured":"Bernardo M Donatiello L Gorrieri R. Modeling and analyzing concurrent systems with MPA. In: Herzog U Rettelbach M editors. Proc. 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1994; (Arbeitsberichte des IMMD; Vol. 27); Regensberg \/ Erlangen Germany. Universit\u00e4t Erlangen-N\u00fcrnberg Germany; 1994. p. 71\u201388."},{"key":"e_1_3_3_179_1","unstructured":"Buchholz P. On a Markovian process algebra. Dortmund Germany: Fachbereich Informatik Technische Universit\u00e4t Dortmund; 1994. (Forschungsbericht 500)."},{"key":"e_1_3_3_180_1","unstructured":"Buchholz P. Markovian process algebra: composition and equivalence. In: Herzog U Rettelbach M editors. Proc. 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1994; (Arbeitsberichte des IMMD; Vol. 27); Regensberg \/ Erlangen Germany. Universit\u00e4t Erlangen-N\u00fcrnberg Germany; 1994. p. 11\u201330."},{"key":"e_1_3_3_181_1","doi-asserted-by":"crossref","unstructured":"Mitrani I Ost A Rettelbach M. TIPP and the spectral expansion method. Berlin Germany: Springer; 1995. Chapter 6; p. 99\u2013113. (Esprit Basic Research Series).","DOI":"10.1007\/978-3-642-79917-4_6"},{"key":"e_1_3_3_182_1","unstructured":"L\u00f3pez BN N\u00fa\u00f1ez GM. NMSPA: a non-Markovian model for stochastic processes. In: Lai TH editor. Proc. Int. ICDCS Workshop on Distributed System Validation and Verification (DSVV) 2000; Taipei Taiwan China; 2000. p. 33\u201340."},{"key":"e_1_3_3_183_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"e_1_3_3_184_1","unstructured":"Bradley JT. Semi-Markov PEPA: a contradiction in terms? In: Gilmore ST editor. Proc. 2nd Workshop on Process Algebras and Stochastically Timed Activities (PASTA) 2003; LFCS Edinburgh UK; 2003. p. 1\u20136."},{"key":"e_1_3_3_185_1","unstructured":"Bradley JT. Semi-Markov PEPA: compositional modelling and analysis with generally distributed actions. In: Awan I editor. Proc. 20th Annual UK Performance Engineering Workshop (UKPEW) 2004; University of Bradford UK; 2004. p. 266\u2013275."},{"key":"e_1_3_3_186_1","first-page":"43","article-title":"Semi-Markov PEPA: modelling with generally distributed actions","volume":"6","author":"Bradley JT.","year":"2005","unstructured":"Bradley JT. Semi-Markov PEPA: modelling with generally distributed actions. I J Simulation. 2005;6:43\u201351.","journal-title":"I J Simulation"},{"key":"e_1_3_3_187_1","doi-asserted-by":"crossref","unstructured":"Argent-Katwala A Bradley JT Clark A et\u00a0al. Location-aware quality of service measurements for service-level agreements. In: Barthe G Fournet C editors. Proc. 3rd Int. Symposium on Trustworthy Global Computing (TGC) 2007; (Lect. Notes Comp. Sci.; Vol. 4912). Springer; 2008. p. 222\u2013239.","DOI":"10.1007\/978-3-540-78663-4_16"},{"key":"e_1_3_3_188_1","doi-asserted-by":"crossref","unstructured":"Degano P Prandi D Priami C et\u00a0al. Beta-binders for biological quantitative experiments. In: Pierro AD Wiklicky H editors. Proc. 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL) 2006; (Electronic Notes in Theor. Comp. Sci.; Vol. 164); Vienna Austria. Elsevier; 2006. p. 101\u2013117.","DOI":"10.1016\/j.entcs.2006.07.014"},{"key":"e_1_3_3_189_1","doi-asserted-by":"crossref","unstructured":"Priami C Quaglia P. Beta-binders for biological interactions. In: Danos V Schachter V editors. Proc. 2nd Int. Conf. on Computational Methods in Systems Biology (CMSB) 2004; (Lect. Notes Comp. Sci.; Vol. 3082). Springer; 2005. p. 20\u201333.","DOI":"10.1007\/978-3-540-25974-9_3"},{"key":"e_1_3_3_190_1","doi-asserted-by":"crossref","unstructured":"Credi A Garavelli M Laneve C et\u00a0al. Modelization and simulation of nano devices in nano\u03ba calculus. In: Calder M Gilmore S editors. Proc. 4th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2007; (Lect. Notes Comp. Sci.; Vol. 4695). Springer; 2007. p. 168\u2013183.","DOI":"10.1007\/978-3-540-75140-3_12"},{"key":"e_1_3_3_191_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.07.006"},{"key":"e_1_3_3_192_1","doi-asserted-by":"crossref","unstructured":"Laneve C Pradalier S Zavattaro G. From biochemistry to stochastic processes. In: Baier C di Pierro A editors. Proc. 7th Workshop on Quantitative Aspects of Programming Languages (QAPL) 2009; (Electronic Notes in Theor. Comp. Sci.; Vol. 253); York UK. Elsevier; 2009. p. 167\u2013185.","DOI":"10.1016\/j.entcs.2009.10.011"},{"key":"e_1_3_3_193_1","doi-asserted-by":"crossref","unstructured":"Hermanns H. Interactive Markov chains. and the quest for quantified quality. Springer; 2002. (Lect. Notes Comp. Sci.; Vol. 2428).","DOI":"10.1007\/3-540-45804-2"},{"key":"e_1_3_3_194_1","doi-asserted-by":"crossref","unstructured":"Kuttler C Lhoussaine C Niehren J. A stochastic Pi calculus for concurrent objects. In: Anai H Horimoto K Kutsia T editors. Proc. 2nd Int. Conf. on Algebraic Biology (AB) 2007; (Lect. Notes Comp. Sci.; Vol. 4545). Springer; 2007. p. 232\u2013246.","DOI":"10.1007\/978-3-540-73433-8_17"},{"key":"e_1_3_3_195_1","doi-asserted-by":"crossref","unstructured":"Versari C Busi N. Stochastic simulation of biological systems with dynamical compartment structure. In: Calder M Gilmore S editors. Proc. 4th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2007; (Lect. Notes Comp. Sci.; Vol. 4695). Springer; 2007. p. 80\u201395.","DOI":"10.1007\/978-3-540-75140-3_6"},{"key":"e_1_3_3_196_1","doi-asserted-by":"crossref","unstructured":"Versari C Busi N. Efficient stochastic simulation of biological systems with multiple variable volumes. In: Cannata N Merelli E editors. Proc. 1st Workshop From Biology To Concurrency and back (FBTC) 2007; (Electronic Notes in Theor. Comp. Sci.; Vol. 194); Lisbon Portugal. Elsevier; 2008. p. 165\u2013180.","DOI":"10.1016\/j.entcs.2007.12.012"},{"key":"e_1_3_3_197_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.03.038"},{"key":"e_1_3_3_198_1","doi-asserted-by":"crossref","unstructured":"Versari C Gorrieri R. \u03c0\u00a9: a \u03c0-based process calculus for the implementation of compartmentalised bio-inspired calculi. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 449\u2013506.","DOI":"10.1007\/978-3-540-68894-5_13"},{"key":"e_1_3_3_199_1","doi-asserted-by":"crossref","unstructured":"John M Lhoussaine C Niehren J et\u00a0al. The attributed pi calculus. In: Heiner M Uhrmacher AM editors. Proc. 6th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2008; (Lect. Notes Comp. Sci.; Vol. 5307). Springer; 2008. p. 83\u2013102.","DOI":"10.1007\/978-3-540-88562-7_10"},{"key":"e_1_3_3_200_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_3_3_201_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_3_3_202_1","doi-asserted-by":"crossref","unstructured":"Clark G Gilmore S. State-aware performance analysis with eXtended Stochastic Probes. In: Thomas N Juiz C editors. Computer Performance Engineering. Proc. 5th European Performance Engineering Workshop (EPEW) 2008; (Lect. Notes Comp. Sci.; Vol. 5261). Springer; 2008. p. 125\u2013140.","DOI":"10.1007\/978-3-540-87412-6_10"},{"key":"e_1_3_3_203_1","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364653"},{"key":"e_1_3_3_204_1","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbn023"},{"key":"e_1_3_3_205_1","doi-asserted-by":"crossref","unstructured":"Dematt\u00e9 L Priami C Romanel A. The BlenX language: a tutorial. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 313\u2013365.","DOI":"10.1007\/978-3-540-68894-5_9"},{"key":"e_1_3_3_206_1","doi-asserted-by":"crossref","unstructured":"Priami C Ballarini P Quaglia P. BlenX4Bio \u2013 BlenX for biologists. In: Degano P Gorrieri R editors. Proc. 7th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2009; (Lect. Notes Comp. Sci.; Vol. 5688). Springer; 2009. p. 26\u201351.","DOI":"10.1007\/978-3-642-03845-7_3"},{"key":"e_1_3_3_207_1","doi-asserted-by":"crossref","unstructured":"Dematt\u00e9 L Larcher R Palmisano A et\u00a0al. Programming biology in BlenX. New York NY USA: Springer; 2010. Chapter 31; p. 777\u2013820. (Systems Biology 1).","DOI":"10.1007\/978-1-4419-5797-9_31"},{"key":"e_1_3_3_208_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2009.0072.focus"},{"key":"e_1_3_3_209_1","doi-asserted-by":"crossref","unstructured":"Lakin MR Phillips A. Modelling simulating and verifying Turing-powerful strand displacement systems. In: Cardelli L Shih W editors. Proc. 17th Int. Conf. on DNA Computing and Molecular Programming (DNA) 2011; (Lect. Notes Comp. Sci.; Vol. 6937). Springer; 2011. p. 130\u2013144.","DOI":"10.1007\/978-3-642-23638-9_12"},{"key":"e_1_3_3_210_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2011.0343"},{"key":"e_1_3_3_211_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L Galpin V Hillston J. HYPE with stochastic events. In: Massink M Norman G editors. Proc. 9th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL) 2011; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 57); Saarbr\u00fccken Germany. Open Publishing Association; 2011. p. 120\u2013133.","DOI":"10.4204\/EPTCS.57.9"},{"key":"e_1_3_3_212_1","doi-asserted-by":"crossref","unstructured":"Galpin V Hillston J Bortolussi L. HYPE applied to the modelling of hybrid biological systems. In: Proc. 24th Conf. on the Mathematical Foundations of Programming Semantics (MFPS XXIV) 2008; (Electronic Notes in Theor. Comp. Sci.; Vol. 218); Philadelphia PA USA: Elsevier; 2005. p. 33\u201351.","DOI":"10.1016\/j.entcs.2008.10.004"},{"key":"e_1_3_3_213_1","doi-asserted-by":"crossref","unstructured":"Galpin V Bortolussi L Hillston J. HYPE: a process algebra for compositional flows and emergent behaviour. In: Bravetti M Zavattaro G editors. Proc. 20th Int. Conf. on Concurrency Theory (CONCUR) 2009; (Lect. Notes Comp. Sci.; Vol. 5710). Springer; 2009. p. 305\u2013320.","DOI":"10.1007\/978-3-642-04081-8_21"},{"key":"e_1_3_3_214_1","doi-asserted-by":"crossref","unstructured":"Ciobanu G Rotaru AS. PHASE: a stochastic formalism for phase-type distributions. In: Merz S Pang J editors. Formal Methods and Software Engineering. Proc. 16th Int. Conf. on Formal Engineering Methods (ICFEM) 2014; (Lect. Notes Comp. Sci.; Vol. 8829). Springer; 2014. p. 91\u2013106.","DOI":"10.1007\/978-3-319-11737-9_7"},{"key":"e_1_3_3_215_1","doi-asserted-by":"crossref","unstructured":"Ciobanu G Rotaru AS. Phase-type approximations for non-Markovian systems: a case study. In: Canal C Idani A editors. Proc. Collocated Workshops of 12th Int. Conf. on Software Engineering and Formal Methods (SEFM) 2014; (Lect. Notes Comp. Sci.; Vol. 8938). Springer; 2015. p. 323\u2013334.","DOI":"10.1007\/978-3-319-15201-1_21"},{"key":"e_1_3_3_216_1","doi-asserted-by":"publisher","DOI":"10.3390\/math11020302"},{"key":"e_1_3_3_217_1","doi-asserted-by":"crossref","unstructured":"Feng C Hillston J. PALOMA: a process algebra for located Markovian agents. In: Norman G Sanders W editors. Proc. 11th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2014; (Lect. Notes Comp. Sci.; Vol. 8657). Springer; 2014. p. 265\u2013280.","DOI":"10.1007\/978-3-319-10696-0_22"},{"key":"e_1_3_3_218_1","doi-asserted-by":"crossref","unstructured":"Harrison PG Strulo B. Stochastic process algebra for discrete event simulation. Berlin Germany: Springer; 1995. Chapter 2; p. 18\u201337. (Esprit basic research series).","DOI":"10.1007\/978-3-642-79917-4_2"},{"key":"e_1_3_3_219_1","unstructured":"Yi W. Real-time behaviour of asynchronous agents. In: Baeten JCM Klop JW editors. CONCUR'90: Theories of Concurrency: Unification and Extension. Proc. 1st Int. Conf. on Concurrency Theory (CONCUR) 1990; (Lect. Notes Comp. Sci.; Vol. 458). Springer; 1990. p. 502\u2013520."},{"key":"e_1_3_3_220_1","doi-asserted-by":"crossref","unstructured":"Yi W. CCS + time = an interleaving model for real time systems. In: Albert JL Monien B Artalejo MR editors. Proc. 18th Int. Colloquium on Automata Languages and Programming (ICALP) 1991; (Lect. Notes Comp. Sci.; Vol. 510). Springer; 1991. p. 217\u2013228.","DOI":"10.1007\/3-540-54233-7_136"},{"key":"e_1_3_3_221_1","unstructured":"Hermanns H Lohrey M. Observational congruence in stochastic timed calculus with maximal progress. Erlangen Germany: Institut f\u00fcr Matematische Maschinen und Datenverarbeitung (IMMD) Friedrich-Alexander Universit\u00e4t Erlangen-N\u00fcrnberg (FAU) Lehrstuhl f\u00fcr Informatik VII (Rechnerarchitektur und Verkehrstheorie); 1997. Technischer Bericht IMMD VII-7\/97."},{"key":"e_1_3_3_222_1","doi-asserted-by":"crossref","unstructured":"D'Argenio PR Katoen JP Brinksma E. An algebraic approach to the specification of stochastic systems (extended abstract). In: Gries D de Roever WP editors. Proc. IFIP TC2\/WG2.2 2.3 Int. Conf. on Programming Concepts and Methods (PROCOMET) 1998; Shelter Island New York USA. Chapman & Hall London UK; 1998. p. 126\u2013147.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"e_1_3_3_223_1","unstructured":"D'Argenio PR Katoen JP Brinksma E. A compositional approach to generalised semi-Markov processes. In: Guia A Smedinga R Spathopoulos MP editors. Proc. 4th Int. Workshop on Discrete Event Systems (WODES) 1998; Cagliary Italy. IEE Publisher London UK; 1998. p. 391\u2013397."},{"key":"e_1_3_3_224_1","unstructured":"D'Argenio PR. Algebras and automata for timed and stochastic systems [dissertation]. Enschede The Netherlands: Department of Computer Science University of Twente Print Partners Imskamp; 1999. IPA Dissertation Series 1999-10 CTIT PhD-Thesis Series 99\u201325."},{"key":"e_1_3_3_225_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.002"},{"key":"e_1_3_3_226_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.001"},{"key":"e_1_3_3_227_1","doi-asserted-by":"crossref","unstructured":"Bohnenkamp HC Haverkort BR. Semi-numerical solution of stochastic process algebra models. In: Katoen JP editor. Formal Methods for Real-Time and Probabilistic Systems. Proc. 5th Int. AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software (ARTS) 1999; (Lect. Notes Comp. Sci.; Vol. 1601). Springer; 1999. p. 228\u2013243.","DOI":"10.1007\/3-540-48778-6_14"},{"key":"e_1_3_3_228_1","unstructured":"Hillston J. The nature of synchronisation. In: Herzog U Rettelbach M editors. Proc. 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1994; (Arbeitsberichte des IMMD; Vol. 27); Regensberg \/ Erlangen Germany. Universit\u00e4t Erlangen-N\u00fcrnberg Germany; 1994. p. 51\u201370."},{"key":"e_1_3_3_229_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00019-2"},{"key":"e_1_3_3_230_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.02.022"},{"key":"e_1_3_3_231_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00043-3"},{"key":"e_1_3_3_232_1","doi-asserted-by":"crossref","unstructured":"L\u00f3pez BN N\u00fa\u00f1ez GM Rubio F. Stochastic process algebras meet Eden. In: Butler M Petre L Sere K editors. Proc. 3rd Int. Conf. on Integrated Formal Methods (IFM) 2002; (Lect. Notes Comp. Sci.; Vol. 2335). Springer; 2002. p. 29\u201348.","DOI":"10.1007\/3-540-47884-1_3"},{"key":"e_1_3_3_233_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0044-7"},{"key":"e_1_3_3_234_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.104"},{"key":"e_1_3_3_235_1","doi-asserted-by":"crossref","unstructured":"Hartmanns A Hermanns H. A Modest approach to checking probabilistic timed automata. In: Proc. 6th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2009; Budapest Hungary. IEEE Computer Society Press; 2009. p. 187\u2013196.","DOI":"10.1109\/QEST.2009.41"},{"key":"e_1_3_3_236_1","unstructured":"Hartmanns A. Modest \u2013 a unified language for quantitative models. In: Proc. Forum on Specification and Design Languages (FDL) 2012; Vienna Austria. IEEE Computer Society Press; 2012. p. 44\u201351."},{"key":"e_1_3_3_237_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0167-z"},{"key":"e_1_3_3_238_1","doi-asserted-by":"crossref","unstructured":"Hartmanns A Hermanns H. The Modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m E Havelund K editors. Proc. 20th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2014; (Lect. Notes Comp. Sci.; Vol. 8413). Springer; 2014. p. 593\u2013598.","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"e_1_3_3_239_1","doi-asserted-by":"crossref","unstructured":"Hartmanns A Hermanns H. A Modest Markov automata tutorial. In: Kr\u00f6tzsch M Stepanova D editors. Proc. 15th Int. Summer School on Reasoning Web. Explainable Artificial Intelligence 2019; (Lect. Notes Comp. Sci.; Vol. 11810). Springer; 2019. p. 250\u2013276.","DOI":"10.1007\/978-3-030-31423-1_8"},{"key":"e_1_3_3_240_1","doi-asserted-by":"crossref","unstructured":"Butkova Y Hartmanns A Hermanns H. A Modest approach to modelling and checking Markov automata. In: Parker D Wolf V editors. Proc. 16th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2019; (Lect. Notes Comp. Sci.; Vol. 11785). Springer; 2019. p. 52\u201369.","DOI":"10.1007\/978-3-030-30281-8_4"},{"key":"e_1_3_3_241_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449355"},{"key":"e_1_3_3_242_1","doi-asserted-by":"crossref","unstructured":"Hartmanns A. An overview of Modest models and tools for real stochastic timed systems. In: Dubslaff C Luttik B editors. Proc. 5th Workshop on Models for Formal Analysis of Real Systems (MARS) 2022; (Electronic Proceedings in Theor. Comp. Sci. (EPTCS); Vol. 355); Munich Germany: Open Publishing Association; 2022. p. 1\u201312.","DOI":"10.4204\/EPTCS.355.1"},{"key":"e_1_3_3_243_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L. Stochastic concurrent constraint programming. In: Pierro AD Wiklicky H editors. Proc. 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL) 2006; (Electronic Notes in Theor. Comp. Sci.; Vol. 164). Elsevier; 2006. p. 65\u201380.","DOI":"10.1016\/j.entcs.2006.07.012"},{"key":"e_1_3_3_244_1","unstructured":"Bortolussi L Policriti A. Modeling biological systems in concurrent constraint programming. In: Dovier A Pal\u00f9 AD Will S editors. Proc. 2nd Int. Workshop on Constraint Based Methods in Bioinformatics (WCB) 2006; Nantes France; 2006. p. 6\u201329."},{"key":"e_1_3_3_245_1","unstructured":"Bortolussi L. Constraint-based approaches to stochastic dynamics of biological systems [dissertation]. Italy: University of Udine; 2007. Ph.D. Thesis Series CS2007\/1."},{"key":"e_1_3_3_246_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L Fonda S Policriti A. Constraint-based simulation of biological systems described by Molecular Interaction Maps. In: Hu X Mandoiu I Obradovic Z et\u00a0al. editors. Proc. Int. Conf. on Bioinformatics and Biomedicine (BIBM) 2007; Fremont (CA) USA: IEEE Computer Society Press; 2007. p. 288\u2013293.","DOI":"10.1109\/BIBM.2007.31"},{"key":"e_1_3_3_247_1","doi-asserted-by":"crossref","unstructured":"Bortolussi L Policriti A. Stochastic concurrent constraint programming and differential equations. In: Aldini A van Breugel F editors. Proc. 5th Workshop on Quantitative Aspects of Programming Languages (QAPL) 2007; (Electronic Notes in Theor. Comp. Sci.; Vol. 190); Braga Portugal. Elsevier; 2007. p. 27\u201342.","DOI":"10.1016\/j.entcs.2007.07.003"},{"key":"e_1_3_3_248_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-007-9034-8"},{"key":"e_1_3_3_249_1","unstructured":"Bortolussi L Policriti A. Hybrid systems and biology: continuous and discrete modeling for systems biology. In: Bernardo M Degano P Zavattaro G editors. Formal Methods for Computational Systems Biology. Proc. 8th Int. School on Formal Methods for the Design of Computer Communication and Software Systems (SFM) 2008; (Lect. Notes Comp. Sci.; Vol. 5016). Springer; 2008. p. 424\u2013448."},{"key":"e_1_3_3_250_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.02.008"},{"key":"e_1_3_3_251_1","doi-asserted-by":"crossref","unstructured":"Pino LF Boncho F Valencia FD. A behavioural congruence for concurrent constraint programming with nondeterministic choice. In: Ciobanu G M\u00e9ry D editors. Proc. 11th Int. Colloquium on Theoretical Aspects of Computing (ICTAC) 2014; (Lect. Notes Comp. Sci.; Vol. 8687). Springer; 2014. p. 351\u2013368.","DOI":"10.1007\/978-3-319-10882-7_21"},{"key":"e_1_3_3_252_1","unstructured":"Wolf V. Equivalences on phase type processes [dissertation]. Mannheim Germany: University of Mannheim; 2008."},{"key":"e_1_3_3_253_1","doi-asserted-by":"crossref","unstructured":"Deng Y Hennessy MCB. On the semantics of Markov automata. In: Aceto L Henzinger M Sgall J editors. Proc. 38th Int. Colloquium on Automata Languages and Programming (ICALP) 2011; (Lect. Notes Comp. Sci.; Vol. 6756). Springer; 2011. p. 307\u2013318.","DOI":"10.1007\/978-3-642-22012-8_24"},{"key":"e_1_3_3_254_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.10.010"},{"key":"e_1_3_3_255_1","doi-asserted-by":"crossref","unstructured":"Eisentraut C Hermanns H Zhang L. On probabilistic automata in continuous time. In: Proc. 25th Annual IEEE Symposium on Logic in Computer Science -- 10 (LICS) 2010; Edinburgh UK. IEEE Computer Society Press; 2010. p. 342\u2013351.","DOI":"10.1109\/LICS.2010.41"},{"key":"e_1_3_3_256_1","doi-asserted-by":"crossref","unstructured":"Timmer M Katoen JP van de Pol J et\u00a0al. Efficient modelling and generation of Markov automata. In: Koutny M Ulidowski I editors. Proc. 23rd Int. Conf. on Concurrency Theory (CONCUR) 2012; (Lect. Notes Comp. Sci.; Vol. 7454). Springer; 2012. p. 364\u2013379.","DOI":"10.1007\/978-3-642-32940-1_26"},{"key":"e_1_3_3_257_1","doi-asserted-by":"crossref","unstructured":"Timmer M van de Pol J Stoelinga MIA. Confluence reduction for Markov automata. In: Braberman V Fribourg L editors. Proc. 11th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS) 2013; (Lect. Notes Comp. Sci.; Vol. 8053). Springer; 2013. p. 243\u2013257.","DOI":"10.1007\/978-3-642-40229-6_17"},{"key":"e_1_3_3_258_1","doi-asserted-by":"crossref","unstructured":"Guck D Hatefi H Hermanns H et\u00a0al. Modelling reduction and analysis of Markov automata. In: Joshi K Siegle M Stoelinga M et\u00a0al. editors. Proc. 10th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2013; (Lect. Notes Comp. Sci.; Vol. 8054). Springer; 2013. p. 55\u201371.","DOI":"10.1007\/978-3-642-40196-1_5"},{"key":"e_1_3_3_259_1","first-page":"1","article-title":"Analysis of timed and long-run objectives for Markov automata","volume":"10","author":"Guck D","year":"2014","unstructured":"Guck D, Hatefi H, Hermanns H, et\u00a0al. Analysis of timed and long-run objectives for Markov automata. Log Meth Comput Sci. 2014;10:1\u201329.","journal-title":"Log Meth Comput Sci"},{"key":"e_1_3_3_260_1","doi-asserted-by":"crossref","unstructured":"Peng Y Wang S Zhan N et\u00a0al. Extending hybrid CSP with probability and stochasticity. In: Li X Liu Z Yi W editors. Proc. 1st Int. Symposium on Dependable Software Engineering: Theories Tools and Applications (SETTA) 2015; (Lect. Notes Comp. Sci.; Vol. 9409). Springer; 2015. p. 87\u2013102.","DOI":"10.1007\/978-3-319-25942-0_6"},{"key":"e_1_3_3_261_1","unstructured":"Zhou C Wang J Ravn AP. A formal description of hybrid systems. In: Alur R Henzinger TA Sontag ED editors. Hybrid Systems III. Verification and Control. Proc. Int. Workshop on Hybrid Systems (HS) 1995; (Lect. Notes Comp. Sci.; Vol. 1066). Springer; 1996. p. 511\u2013530."},{"key":"e_1_3_3_262_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.11.028"},{"key":"e_1_3_3_263_1","doi-asserted-by":"crossref","unstructured":"Bravetti M Bernardo M Gorrieri R. Towards performance evaluation with general distributions in process algebras. In: Sangiorgi D de Simone R editors. Proc. 9th Int. Conf. on Concurrency Theory (CONCUR) 1998; (Lect. Notes Comp. Sci.; Vol. 1466). Springer; 1998. p. 405\u2013422.","DOI":"10.1007\/BFb0055638"},{"key":"e_1_3_3_264_1","doi-asserted-by":"crossref","unstructured":"Bravetti M. Specification and analysis of stochastic real-time systems [dissertation]. Italy: University of Bologna; 2002.","DOI":"10.1007\/3-540-45605-8_14"},{"key":"e_1_3_3_265_1","doi-asserted-by":"crossref","unstructured":"Katoen JP D'Argenio PR. General distributions in process algebra. In: Brinksma E Hermanns H Katoen JP editors. Proc. 1st EEF\/Euro Summer School of Trends in Comp. Sci. 2000; (Lect. Notes Comp. Sci.; Vol. 2090). Springer; 2001. p. 375\u2013429.","DOI":"10.1007\/3-540-44667-2_11"},{"key":"e_1_3_3_266_1","doi-asserted-by":"crossref","unstructured":"Bravetti M D'Argenio PR. Tutte le algebre insieme: concepts discussions and relations of stochastic process algebras with general distributions. In: Baier C Haverkort BR Hermanns H et\u00a0al. editors. Validation of Stochastic Systems: A Guide to Current Research; (Lect. Notes Comp. Sci.; Vol. 2925). Springer; 2004. p. 44\u201388.","DOI":"10.1007\/978-3-540-24611-4_2"},{"key":"e_1_3_3_267_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.552"},{"key":"e_1_3_3_268_1","unstructured":"Katoen JP Brinksma E Latella D et\u00a0al. Stochastic simulation of event structures. In: Ribaudo M editor. Proc. 4th Int. Workshop on Process Algebra and Performance Modelling (PAPM) 1996; Torino Italy. CLUT Press; 1996. p. 21\u201340."},{"key":"e_1_3_3_269_1","doi-asserted-by":"crossref","unstructured":"Markovski J de Vink EP. Extending timed process algebra with discrete stochastic time. In: Meseguer J Ro\u015fu G editors. Proc. 12th Int. Conf. on Algebraic Methodology and Software Technology (AMAST) 2008; (Lect. Notes Comp. Sci.; Vol. 5140). Springer; 2008. p. 268\u2013283.","DOI":"10.1007\/978-3-540-79980-1_21"},{"key":"e_1_3_3_270_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-146"},{"key":"e_1_3_3_271_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0230-y"},{"key":"e_1_3_3_272_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211867"},{"key":"e_1_3_3_273_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00013291"},{"key":"e_1_3_3_274_1","doi-asserted-by":"crossref","unstructured":"McCaig C Norman R Shankland C. Process algebra models of population dynamics. In: Horimoto K Regensburger G Rosenkranz M et\u00a0al. editors. Proc. 3rd Int. Conf. on Algebraic Biology (AB) 2008; (Lect. Notes Comp. Sci.; Vol. 5147). Springer; 2008. p. 139\u2013155.","DOI":"10.1007\/978-3-540-85101-1_11"},{"key":"e_1_3_3_275_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1123"},{"key":"e_1_3_3_276_1","doi-asserted-by":"crossref","unstructured":"Coste N Hermanns H Lantreibecq E et\u00a0al. Towards performance prediction of compositional models in industrial GALS designs. In: Bouajjani A Maler O editors. Proc. 21st International Conference on Computer Aided Verification (CAV) 2009; (Lect. Notes Comp. Sci.; Vol. 5643). Springer; 2009. p. 204\u2013218.","DOI":"10.1007\/978-3-642-02658-4_18"},{"key":"e_1_3_3_277_1","doi-asserted-by":"crossref","unstructured":"Hatefi H Hermanns H. Improving time bounded reachability computations in interactive Markov chains. In: Arbab F Sirjani M editors. Proc. 5th Int. Conf. on Fundamentals of Software Engineering (FSEN) 2013; (Lect. Notes Comp. Sci.; Vol. 8161). Springer; 2013. p. 250\u2013266.","DOI":"10.1007\/978-3-642-40213-5_16"},{"key":"e_1_3_3_278_1","doi-asserted-by":"crossref","unstructured":"Daws C. Symbolic and parametric model checking of discrete-time Markov chains. In: Liu Z Araki K editors. Proc. 1st Int. Colloquium on Theoretical Aspects of Computing (ICTAC) 2004; (Lect. Notes Comp. Sci.; Vol. 3407). Springer; 2005. p. 280\u2013294.","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"e_1_3_3_279_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0015-2"},{"key":"e_1_3_3_280_1","doi-asserted-by":"crossref","unstructured":"Han T Katoen JP Mereacre A. Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proc. 29th IEEE Real-Time Systems Symposium (RTSS) 2008; New York USA: IEEE Computer Society Press; 2008. p. 173\u2013182.","DOI":"10.1109\/RTSS.2008.19"},{"key":"e_1_3_3_281_1","doi-asserted-by":"crossref","unstructured":"Chamseddine N Duflot M Fribourg L et\u00a0al. Computing expected absorption times for parametric determinate probabilistic timed automata. In: Proc. 5th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2008; St. Malo France. IEEE Computer Society Press; 2008. p. 254\u2013263.","DOI":"10.1109\/QEST.2008.34"},{"key":"e_1_3_3_282_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0146-x"},{"key":"e_1_3_3_283_1","doi-asserted-by":"crossref","unstructured":"Jansen N Corzilius F Volk M et\u00a0al. Accelerating parametric probabilistic verification. In: Norman G Sanders W editors. Proc. 11th Int. Conf. on Quantitative Evaluation of Systems (QEST) 2014; (Lect. Notes Comp. Sci.; Vol. 8657). Springer; 2014. p. 404\u2013420.","DOI":"10.1007\/978-3-319-10696-0_31"},{"key":"e_1_3_3_284_1","doi-asserted-by":"crossref","unstructured":"Delahaye B Lime D Petrucci L. Parameter synthesis for parametric interval Markov chains. In: Jobstmann B Leino KRM editors. Proc. 17th Int. Conf. on Verification Model Checking and Abstract Interpretation (VMCAI) 2016; (Lect. Notes Comp. Sci.; Vol. 9583). Springer; 2016. p. 372\u2013390.","DOI":"10.1007\/978-3-662-49122-5_18"},{"key":"e_1_3_3_285_1","doi-asserted-by":"crossref","unstructured":"Quatmann T Dehnert C Jansen N et\u00a0al. Parameter synthesis for Markov models: faster than ever. In: Artho C Legay A Peled D editors. Proc. 14th Int. Symposium on Automated Technology for Verification and Analysis (ATVA) 2016; (Lect. Notes Comp. Sci.; Vol. 9938). Springer; 2016. p. 50\u201367.","DOI":"10.1007\/978-3-319-46520-3_4"},{"key":"e_1_3_3_286_1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 \u00c9 Knapik M Lime D et\u00a0al. Parametric verification: an introduction. In: Koutny M Pomello L Kristensen LM editors. Transactions on Petri Nets and Other Models of Concurrency (TOPNOC) XIV; (Lect. Notes Comp. Sci.; Vol. 11790). Springer; 2019. p. 64\u2013100.","DOI":"10.1007\/978-3-662-60651-3_3"},{"key":"e_1_3_3_287_1","doi-asserted-by":"crossref","unstructured":"Cubuktepe M Jansen N Junges S et\u00a0al. Scenario-based verification of uncertain MDPs. In: Biere A Parker D editors. Proc. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020; (Lect. Notes Comp. Sci.; Vol. 12078). Springer; 2020. p. 287\u2013305.","DOI":"10.1007\/978-3-030-45190-5_16"},{"key":"e_1_3_3_288_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-023-00442-x"},{"key":"e_1_3_3_289_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)80003-6"},{"key":"e_1_3_3_290_1","doi-asserted-by":"crossref","unstructured":"Montanari U Pistore M Yankelevich D. Efficient minimization up to location equivalence. In: Nielson HR editor. Programming Languages and Systems. Proc. 6th European Symposium on Programming (ESOP) 1996; (Lect. Notes Comp. Sci.; Vol. 1058). Springer; 1996. p. 265\u2013279.","DOI":"10.1007\/3-540-61055-3_42"},{"key":"e_1_3_3_291_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.01.008"},{"key":"e_1_3_3_292_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_3_3_293_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10959-023-01240-1"},{"key":"e_1_3_3_294_1","first-page":"913","article-title":"Performance analysis using stochastic Petri nets","volume":"31","author":"Molloy MK.","year":"1982","unstructured":"Molloy MK. Performance analysis using stochastic Petri nets. IEEE Trans Softw Eng. 1982;31:913\u2013917.","journal-title":"IEEE Trans Softw Eng"},{"key":"e_1_3_3_295_1","doi-asserted-by":"crossref","unstructured":"Buchholz P. A notion of equivalence for stochastic Petri nets. In: Michelis GD Diaz M editors. Proc. 16th Int. Conf. on Application and Theory of Petri Nets (ICATPN) 1995; (Lect. Notes Comp. Sci.; Vol. 935). Springer; 1995. p. 161\u2013180.","DOI":"10.1007\/3-540-60029-9_39"},{"key":"e_1_3_3_296_1","doi-asserted-by":"crossref","unstructured":"Wang J. Timed Petri nets: theory and application. New York USA: Springer Science+Business Media; 1998. (The Kluwer international series on Discrete Event Dynamic Systems (DEDS); Vol. 9).","DOI":"10.1007\/978-1-4615-5537-7_2"},{"key":"e_1_3_3_297_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-86501-4"},{"key":"e_1_3_3_298_1","unstructured":"Chiola G. A software package for the analysis of generalized stochastic Petri net models. In: Proc. 1st Int. Workshop on Timed Petri Nets 1985; Turin Italy. IEEE Computer Society Press; 1985. p. 136\u2013143."},{"key":"e_1_3_3_299_1","doi-asserted-by":"crossref","unstructured":"Ciardo G Muppala JK Trivedi KS. Analysis of deterministic and stochastic Petri nets. In: Proc. 3rd Int. Workshop on Petri Nets and Performance Models (PNPM) 1989; Kyoto Japan. IEEE Computer Society Press; 1989. p. 142\u2013151.","DOI":"10.1109\/PNPM.1989.68548"},{"key":"e_1_3_3_300_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(91)90003-L"},{"key":"e_1_3_3_301_1","doi-asserted-by":"crossref","unstructured":"Buchholz P. Iterative decomposition and aggregation of labeled GSPNs. In: Desel J Silva M editors. Proc. 19th Int. Conf. on Application and Theory of Petri Nets (ICATPN) 1998; (Lect. Notes Comp. Sci.; Vol. 1420). Springer; 1998. p. 226\u2013245.","DOI":"10.1007\/3-540-69108-1_13"},{"key":"e_1_3_3_302_1","first-page":"31","article-title":"Net and algebraic approaches to probabilistic modeling","volume":"15","author":"Buchholz P","year":"2001","unstructured":"Buchholz P, Tarasyuk IV. Net and algebraic approaches to probabilistic modeling. Joint NCC IIS Bull Comp Sci. 2001;15:31\u201364. Available from: http:\/\/bulletin.iis.nsk.su\/files\/article\/buchholz.pdf.","journal-title":"Joint NCC IIS Bull Comp Sci"},{"key":"e_1_3_3_303_1","volume-title":"Equivalences for behavioural analysis of concurrent and distributed computing systems","author":"Tarasyuk IV.","year":"2007","unstructured":"Tarasyuk IV. Equivalences for behavioural analysis of concurrent and distributed computing systems. Novosibirsk: Geo Academic Publisher; 2007. ISBN 978-5-9747-0098-9, in Russian."},{"key":"e_1_3_3_304_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.122"},{"key":"e_1_3_3_305_1","doi-asserted-by":"crossref","unstructured":"Marsan MA Chiola G. On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg G editor. Advances in Petri Nets (APN) 1987; (Lect. Notes Comp. Sci.; Vol. 266). Springer; 1987. p. 132\u2013145.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"e_1_3_3_306_1","doi-asserted-by":"crossref","unstructured":"Marsan MA Chiola G Fumagalli A. Improving the efficiency of the analysis of DSPN models. In: Rozenberg G editor. Advances in Petri Nets (APN) 1989; (Lect. Notes Comp. Sci.; Vol. 424). Springer; 1990. p. 30\u201350.","DOI":"10.1007\/3-540-52494-0_24"},{"key":"e_1_3_3_307_1","doi-asserted-by":"publisher","DOI":"10.1080\/13873954.2016.1277360"},{"key":"e_1_3_3_308_1","doi-asserted-by":"crossref","unstructured":"Bonzanni N Feenstra KA Fokkink WJ et\u00a0al. What can formal methods bring to systems biology? In: Cavalcanti A Dams DR editors. Proc. 2nd World Congress on Formal Methods (FM) 2009; (Lect. Notes Comp. Sci.; Vol. 5850). Springer; 2009. p. 16\u201322.","DOI":"10.1007\/978-3-642-05089-3_2"},{"key":"e_1_3_3_309_1","first-page":"1","article-title":"Computational modeling, formal analysis, and tools for systems biology","volume":"12","author":"Bartocci E","year":"2015","unstructured":"Bartocci E, Li\u00f3 P. Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol. 2015;12:1\u201322 (e1004591).","journal-title":"PLoS Comput Biol"},{"key":"e_1_3_3_310_1","doi-asserted-by":"crossref","unstructured":"Gilbert D Heiner M Lehrack S. A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder M Gilmore S editors. Proc. 5th Int. Conf. on Computational Methods in Systems Biology (CMSB) 2007; (Lect. Notes Comp. Sci.; Vol. 4695). Springer; 2007. p. 200\u2013216.","DOI":"10.1007\/978-3-540-75140-3_14"},{"key":"e_1_3_3_311_1","unstructured":"Cumani A. ESP \u2013 a package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In: Proc. 1st Int. Workshop on Timed Petri Nets 1985; Turin Italy: IEEE Computer Society Press; 1985. p. 144\u2013151."},{"key":"e_1_3_3_312_1","unstructured":"Jones RL Ciardo G. On phased delay stochastic Petri nets. In: Proc. 9th Int. Workshop on Petri Nets and Performance Models (PNPM) 2001; Aachen Germany: IEEE Computer Society Press; 2001. p. 165\u2013174."},{"key":"e_1_3_3_313_1","doi-asserted-by":"crossref","unstructured":"Ciardo G. Discrete-time Markovian stochastic Petri nets. In: Computations with Markov Chains: Proc. 2nd Int. Workshop on the Numerical Solution of Markov Chains (NSMC) 1995; Raleigh NC USA: Kluwer Academic Publishers Boston MA USA; 1995. p. 339\u2013358.","DOI":"10.1007\/978-1-4615-2241-6_20"},{"key":"e_1_3_3_314_1","unstructured":"Zijal R Ciardo G. Discrete deterministic and stochastic Petri nets. Hampton (VA) USA: Institute for Computer Applications in Science and Engineering (ICASE) NASA Langley Research Center; 1996. ICASE Report 96\u201372."},{"key":"e_1_3_3_315_1","unstructured":"Zijal R Ciardo G Hommel G. Discrete deterministic and stochastic Petri nets. In: Irmscher K Mittasch C Richter K editors. Proc. 9th ITG\/GI Professional Meeting on Measuring Modeling and Evaluation of Computer and Communication Systems (MMB) 1997 Volume 1; Freiberg Germany. VDE-Verlag Berlin Germany; 1997. p. 103\u2013117."},{"key":"e_1_3_3_316_1","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th A Puliafito A Scarpa M et\u00a0al. Analysis and evaluation of non-Markovian stochastic Petri nets. In: Haverkort BR Bohnenkamp HC Smith CU editors. Computer Performance Evaluation. Proc. 11th Int. Conf. on Modelling Techniques and Tools (TOOLS) 2000; (Lect. Notes Comp. Sci.; Vol. 1786). Springer; 2000. p. 171\u2013187.","DOI":"10.1007\/3-540-46429-8_13"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2025.2527713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T15:29:11Z","timestamp":1756740551000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2025.2527713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,10]]},"references-count":315,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,9,3]]}},"alternative-id":["10.1080\/17445760.2025.2527713"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2025.2527713","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2025,7,10]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2025-05-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}