Bravetti, Mario Axiomatizing maximal progress and discrete time. (English) Zbl 1509.68183 Log. Methods Comput. Sci. 17, No. 1, Paper No. 1, 44 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 1, 44 p. (2021; Zbl 1509.68183) Full Text: arXiv Link
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
Bravetti, Mario Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time. (English) Zbl 1279.68250 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, 83-106 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti}, Electron. Notes Theor. Comput. Sci. 209, 83--106 (2008; Zbl 1279.68250) Full Text: DOI
Bravetti, Mario Expressing priorities and external probabilities in process algebra via mixed open/closed systems. (English) Zbl 1277.68166 Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 31-57 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti}, Electron. Notes Theor. Comput. Sci. 194, No. 2, 31--57 (2008; Zbl 1277.68166) 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
Bravetti, Mario Stochastic and real time in process algebra: a conceptual overview. (English) Zbl 1316.68087 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 113-119 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti}, Electron. Notes Theor. Comput. Sci. 162, 113--119 (2006; Zbl 1316.68087) Full Text: DOI
Bravetti, Mario; Hermanns, Holger; Katoen, Joost-Pieter YMCA: why Markov chain algebra? (English) Zbl 1316.68088 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 107-112 (2006). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Electron. Notes Theor. Comput. Sci. 162, 107--112 (2006; Zbl 1316.68088) Full Text: DOI
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi Quantitative information in the tuple space coordination model. (English) Zbl 1080.68007 Theor. Comput. Sci. 346, No. 1, 28-57 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Theor. Comput. Sci. 346, No. 1, 28--57 (2005; Zbl 1080.68007) 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
Bernardo, Marco; Bravetti, Mario Performance measure sensitive congruences for Markovian process algebras. (English) Zbl 1019.68065 Theor. Comput. Sci. 290, No. 1, 117-160 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bernardo} and \textit{M. Bravetti}, Theor. Comput. Sci. 290, No. 1, 117--160 (2003; Zbl 1019.68065) 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
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