Soltanieh, Amin; Siegle, Markus Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Soltanieh} and \textit{M. Siegle}, Lect. Notes Comput. Sci. 12818, 157--172 (2021; Zbl 1496.68248) Full Text: DOI
Tarasyuk, Igor’ Valerievich Performance evaluation in stochastic process algebra dtsdPBC. (English) Zbl 1482.68156 Sib. Èlektron. Mat. Izv. 18, No. 2, 1105-1145 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 60J10 60J20 60K15 68M20 68Q55 PDFBibTeX XMLCite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 18, No. 2, 1105--1145 (2021; Zbl 1482.68156) Full Text: DOI
Soltanieh, Amin; Siegle, Markus It sometimes works: a lifting algorithm for repair of stochastic process algebra models. (English) Zbl 1484.68038 Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 190-207 (2020). MSC: 68M20 68M15 68Q85 PDFBibTeX XMLCite \textit{A. Soltanieh} and \textit{M. Siegle}, Lect. Notes Comput. Sci. 12040, 190--207 (2020; Zbl 1484.68038) Full Text: DOI
Tarasyuk, Igor Valerievich Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English) Zbl 1448.68352 Sib. Èlektron. Mat. Izv. 17, 1598-1679 (2020). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 17, 1598--1679 (2020; Zbl 1448.68352) Full Text: DOI
Bortolussi, Luca; Hillston, Jane; Loreti, Michele Fluid approximation of broadcasting systems. (English) Zbl 1432.68020 Theor. Comput. Sci. 816, 221-248 (2020). MSC: 68M14 PDFBibTeX XMLCite \textit{L. Bortolussi} et al., Theor. Comput. Sci. 816, 221--248 (2020; Zbl 1432.68020) Full Text: DOI Link
Tarasyuk, Igor’ Valer’evich; Macià Soler, Hermenegilda; Valero Ruiz, Valentín Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. (English) Zbl 1414.60062 Sib. Èlektron. Mat. Izv. 15, 1743-1812 (2018). MSC: 60J20 60J10 60K15 68Q85 PDFBibTeX XMLCite \textit{I. V. Tarasyuk} et al., Sib. Èlektron. Mat. Izv. 15, 1743--1812 (2018; Zbl 1414.60062) Full Text: DOI arXiv
Alzetta, Giacomo; Marin, Andrea; Piazza, Carla; Rossi, Sabina Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses. (English) Zbl 1390.68371 Inf. Comput. 260, 99-125 (2018). MSC: 68Q45 68Q87 PDFBibTeX XMLCite \textit{G. Alzetta} et al., Inf. Comput. 260, 99--125 (2018; Zbl 1390.68371) Full Text: DOI Link
Ding, Jie; Zhu, Xinshan; Wang, Minyi Fluid analysis for a PEPA model. (English) Zbl 1418.93021 Jia, Yingmin (ed.) et al., Proceedings of the 2015 Chinese intelligent systems conference, CISC’15, Yangzhou, China. Volume 2. Berlin: Springer. Lect. Notes Electr. Eng. 360, 181-190 (2016). MSC: 93A30 93B25 93E03 93C15 PDFBibTeX XMLCite \textit{J. Ding} et al., Lect. Notes Electr. Eng. 360, 181--190 (2016; Zbl 1418.93021) Full Text: DOI
Miculan, Marino; Peressotti, Marco Structural operational semantics for non-deterministic processes with quantitative aspects. (English) Zbl 1356.68157 Theor. Comput. Sci. 655, Part B, 135-154 (2016). MSC: 68Q85 68Q55 68Q65 PDFBibTeX XMLCite \textit{M. Miculan} and \textit{M. Peressotti}, Theor. Comput. Sci. 655, Part B, 135--154 (2016; Zbl 1356.68157) Full Text: DOI arXiv
Bernardo, Marco; Corradini, Flavio; Tesei, Luca Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions. (English) Zbl 1339.68182 Theor. Comput. Sci. 629, 2-39 (2016). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Theor. Comput. Sci. 629, 2--39 (2016; Zbl 1339.68182) Full Text: DOI
Marin, Andrea; Rossi, Sabina Quantitative analysis of concurrent reversible computations. (English) Zbl 1465.68197 Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 206-221 (2015). MSC: 68Q85 68Q09 68Q10 68Q45 68Q87 PDFBibTeX XMLCite \textit{A. Marin} and \textit{S. Rossi}, Lect. Notes Comput. Sci. 9268, 206--221 (2015; Zbl 1465.68197) Full Text: DOI
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad A compositional model to reason about end-to-end QoS in stochastic Reo connectors. (English) Zbl 1412.68065 Sci. Comput. Program. 80, Part A, 3-24 (2014). MSC: 68Q10 68N15 68Q45 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y.-J. Moon} et al., Sci. Comput. Program. 80, Part A, 3--24 (2014; Zbl 1412.68065) Full Text: DOI arXiv
Tarasyuk, Igor V. Equivalence relations for modular performance evaluation in dtsPBC. (English) Zbl 1342.68244 Math. Struct. Comput. Sci. 24, No. 1, Article ID e240103, 77 p. (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. V. Tarasyuk}, Math. Struct. Comput. Sci. 24, No. 1, Article ID e240103, 77 p. (2014; Zbl 1342.68244) Full Text: DOI
Tarasyuk, I.; Macià, H.; Valero, Valentin Performance analysis of concurrent systems in algebra dtsiPBC. (English. Russian original) Zbl 1339.68033 Program. Comput. Softw. 40, No. 5, 229-249 (2014); translation from Programmirovanie 40, No. 5 (2014). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{I. Tarasyuk} et al., Program. Comput. Softw. 40, No. 5, 229--249 (2014; Zbl 1339.68033); translation from Programmirovanie 40, No. 5 (2014) Full Text: DOI
Tschaikowski, Max; Tribastone, Mirco Exact fluid lumpability in Markovian process algebra. (English) Zbl 1359.68228 Theor. Comput. Sci. 538, 140-166 (2014). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{M. Tschaikowski} and \textit{M. Tribastone}, Theor. Comput. Sci. 538, 140--166 (2014; Zbl 1359.68228) Full Text: DOI
Tschaikowski, Max; Tribastone, Mirco Tackling continuous state-space explosion in a Markovian process algebra. (English) Zbl 1358.68219 Theor. Comput. Sci. 517, 1-33 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Tschaikowski} and \textit{M. Tribastone}, Theor. Comput. Sci. 517, 1--33 (2014; Zbl 1358.68219) Full Text: DOI
Klin, Bartek; Sassone, Vladimiro Structural operational semantics for stochastic and weighted transition systems. (English) Zbl 1358.68214 Inf. Comput. 227, 58-83 (2013). MSC: 68Q85 68Q10 68Q55 68Q87 PDFBibTeX XMLCite \textit{B. Klin} and \textit{V. Sassone}, Inf. Comput. 227, 58--83 (2013; Zbl 1358.68214) Full Text: DOI
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. (English) Zbl 1358.68210 Inf. Comput. 225, 29-82 (2013). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Inf. Comput. 225, 29--82 (2013; Zbl 1358.68210) Full Text: DOI
Markovski, J.; D’argenio, P. R.; Baeten, J. C. M.; de Vink, E. P. Reconciling real and stochastic time: the need for probabilistic refinement. (English) Zbl 1259.68147 Formal Asp. Comput. 24, No. 4-6, 497-518 (2012). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{J. Markovski} et al., Formal Asp. Comput. 24, No. 4--6, 497--518 (2012; Zbl 1259.68147) Full Text: DOI
Deng, Yuxin; Hennessy, Matthew On the semantics of Markov automata. (English) Zbl 1333.68162 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 307-318 (2011). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{M. Hennessy}, Lect. Notes Comput. Sci. 6756, 307--318 (2011; Zbl 1333.68162) Full Text: DOI
Ding, Jie; Hillston, Jane Structural analysis for stochastic process algebra models. (English) Zbl 1308.68086 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 1-27 (2011). MSC: 68Q87 68U20 PDFBibTeX XMLCite \textit{J. Ding} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 6486, 1--27 (2011; Zbl 1308.68086) Full Text: DOI
Hermanns, Holger; Katoen, Joost-Pieter The how and why of interactive Markov chains. (English) Zbl 1312.68152 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 311-337 (2010). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{H. Hermanns} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 6286, 311--337 (2010; Zbl 1312.68152) Full Text: DOI Link
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo Weak bisimulation for probabilistic timed automata. (English) Zbl 1208.68160 Theor. Comput. Sci. 411, No. 50, 4291-4322 (2010). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Theor. Comput. Sci. 411, No. 50, 4291--4322 (2010; Zbl 1208.68160) Full Text: DOI
Brown, Daniel; Pucella, Riccardo Categories of timed stochastic relations. (English) Zbl 1337.68195 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 193-217 (2009). MSC: 68Q87 18C15 18C50 68Q85 PDFBibTeX XMLCite \textit{D. Brown} and \textit{R. Pucella}, Electron. Notes Theor. Comput. Sci. 249, 193--217 (2009; Zbl 1337.68195) Full Text: DOI
Versari, Cristian; Busi, Nadia; Gorrieri, Roberto An expressiveness study of priority in process calculi. (English) Zbl 1191.68447 Math. Struct. Comput. Sci. 19, No. 6, 1161-1189 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Versari} et al., Math. Struct. Comput. Sci. 19, No. 6, 1161--1189 (2009; Zbl 1191.68447) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia Probabilistic mobile ambients. (English) Zbl 1183.68400 Theor. Comput. Sci. 410, No. 12-13, 1272-1303 (2009). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Theor. Comput. Sci. 410, No. 12--13, 1272--1303 (2009; Zbl 1183.68400) Full Text: DOI Link
Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel Testing from a stochastic timed system with a fault model. (English) Zbl 1161.68026 J. Log. Algebr. Program. 78, No. 2, 98-115 (2009). MSC: 68Q45 68N30 68Q60 PDFBibTeX XMLCite \textit{R. M. Hierons} et al., J. Log. Algebr. Program. 78, No. 2, 98--115 (2009; Zbl 1161.68026) Full Text: DOI
Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. (English) Zbl 1206.68208 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 485-496 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Bachmann} et al., Lect. Notes Comput. Sci. 5404, 485--496 (2009; Zbl 1206.68208) Full Text: DOI
Garavel, Hubert Reflections on the future of concurrency theory in general and process calculi in particular. (English) Zbl 1279.68258 Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 149-164 (2008). MSC: 68Q85 68Q60 68-02 PDFBibTeX XMLCite \textit{H. Garavel}, Electron. Notes Theor. Comput. Sci. 209, 149--164 (2008; Zbl 1279.68258) Full Text: DOI
Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David A congruence relation for sPBC. (English) Zbl 1138.68040 Form. Methods Syst. Des. 32, No. 2, 85-128 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Macià} et al., Form. Methods Syst. Des. 32, No. 2, 85--128 (2008; Zbl 1138.68040) Full Text: DOI
Hillston, Jane; Kloul, Leïla Formal techniques for performance analysis: blending SAN and PEPA. (English) Zbl 1111.68014 Formal Asp. Comput. 19, No. 1, 3-33 (2007). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{J. Hillston} and \textit{L. Kloul}, Formal Asp. Comput. 19, No. 1, 3--33 (2007; Zbl 1111.68014) Full Text: DOI
Mitchell, John C.; Ramanathan, Ajith; Scedrov, Andre; Teague, Vanessa A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. (English) Zbl 1088.68126 Theor. Comput. Sci. 353, No. 1-3, 118-164 (2006). MSC: 68Q85 94A60 PDFBibTeX XMLCite \textit{J. C. Mitchell} et al., Theor. Comput. Sci. 353, No. 1--3, 118--164 (2006; Zbl 1088.68126) Full Text: DOI
Harrison, P. G.; Lee, T. T. Separable equilibrium state probabilities via time reversal in Markovian process algebra. (English) Zbl 1080.68079 Theor. Comput. Sci. 346, No. 1, 161-182 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. G. Harrison} and \textit{T. T. Lee}, Theor. Comput. Sci. 346, No. 1, 161--182 (2005; Zbl 1080.68079) Full Text: DOI
D’Argenio, Pedro R.; Katoen, Joost-Pieter A theory of stochastic systems. II: Process algebra. (English) Zbl 1106.68073 Inf. Comput. 203, No. 1, 39-74 (2005). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{P. R. D'Argenio} and \textit{J.-P. Katoen}, Inf. Comput. 203, No. 1, 39--74 (2005; Zbl 1106.68073) Full Text: DOI
Palamidessi, Catuscia; Herescu, Oltea Mihaela A randomized encoding of the \(\pi\)-calculus with mixed choice. (English) Zbl 1080.68080 Theor. Comput. Sci. 335, No. 2-3, 373-404 (2005). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Palamidessi} and \textit{O. M. Herescu}, Theor. Comput. Sci. 335, No. 2--3, 373--404 (2005; Zbl 1080.68080) Full Text: DOI
Baeten, J. C. M. A brief history of process algebra. (English) Zbl 1080.68072 Theor. Comput. Sci. 335, No. 2-3, 131-146 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten}, Theor. Comput. Sci. 335, No. 2--3, 131--146 (2005; Zbl 1080.68072) Full Text: DOI Link
Derisavi, Salem; Hermanns, Holger; Sanders, William H. Optimal state-space lumping in Markov chains. (English) Zbl 1189.68039 Inf. Process. Lett. 87, No. 6, 309-315 (2003). MSC: 68P10 68Q85 PDFBibTeX XMLCite \textit{S. Derisavi} et al., Inf. Process. Lett. 87, No. 6, 309--315 (2003; Zbl 1189.68039) Full Text: DOI
Harrison, Peter G. Turning back time in Markovian process algebra. (English) Zbl 1044.68117 Theor. Comput. Sci. 290, No. 3, 1947-1986 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. G. Harrison}, Theor. Comput. Sci. 290, No. 3, 1947--1986 (2003; Zbl 1044.68117) Full Text: DOI
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus On the use of MTBDDs for performability analysis and verification of stochastic systems. (English) Zbl 1054.68018 J. Log. Algebr. Program. 56, No. 1-2, 23-67 (2003). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., J. Log. Algebr. Program. 56, No. 1--2, 23--67 (2003; Zbl 1054.68018) Full Text: DOI
Fecher, Harald; Majster-Cederbaum, Mila Taking decisions late: end-based choice combined with action refinement. (English) Zbl 1270.68084 Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 244-259 (2002). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{H. Fecher} and \textit{M. Majster-Cederbaum}, Electron. Notes Theor. Comput. Sci. 70, No. 3, 244--259 (2002; Zbl 1270.68084) Full Text: Link
Bravetti, Mario; Gorrieri, Roberto The theory of interactive generalized semi-Markov processes. (English) Zbl 0997.68083 Theor. Comput. Sci. 282, No. 1, 5-32 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} and \textit{R. Gorrieri}, Theor. Comput. Sci. 282, No. 1, 5--32 (2002; Zbl 0997.68083) Full Text: DOI
Hermanns, Holger; Herzog, Ulrich; Katoen, Joost-Pieter Process algebra for performance evaluation. (English) Zbl 0992.68149 Theor. Comput. Sci. 274, No. 1-2, 43-87 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Theor. Comput. Sci. 274, No. 1--2, 43--87 (2002; Zbl 0992.68149) Full Text: DOI
Di Pierro, Alessandra; Wiklicky, Herbert Linear structures for concurrency in probabilistic programming languages. (English) Zbl 1264.68041 Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 100-143 (2001). MSC: 68N15 68N19 68Q87 PDFBibTeX XMLCite \textit{A. Di Pierro} and \textit{H. Wiklicky}, Electron. Notes Theor. Comput. Sci. 40, 100--143 (2001; Zbl 1264.68041) Full Text: DOI
Bernardo, Marco; Gorrieri, Roberto Corrigendum to “A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time”. (English) Zbl 0973.68179 Theor. Comput. Sci. 254, No. 1-2, 691-694 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bernardo} and \textit{R. Gorrieri}, Theor. Comput. Sci. 254, No. 1--2, 691--694 (2001; Zbl 0973.68179) Full Text: DOI
Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. (English) Zbl 0909.68074 Inf. Comput. 144, No. 2, 83-154 (1998). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Inf. Comput. 144, No. 2, 83--154 (1998; Zbl 0909.68074) Full Text: DOI
Bernardo, Marco An algebra-based method to associate rewards with EMPA terms. (English) Zbl 1401.68222 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 358-368 (1997). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo}, Lect. Notes Comput. Sci. 1256, 358--368 (1997; Zbl 1401.68222) Full Text: DOI