Filters: Author is Claudio Mezzina  [Clear All Filters]
2023
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., Quantifying Masking Fault-Tolerance via Fair Stochastic Games, in Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Antwerp, Belgium, 18th September 2023, vol. 387, C. Mezzina and Caltais, G., Eds. Open Publishing Association, 2023, pp. 132-148.Binary Data paper-. (241.24 KB)