Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Thu, 16 January 2020 at 09:30 am in Massa Marittima, Italy
Joint work with: Ana Sokolova and Valeri Vignudelli
Abstract: Different sorts of specification languages have been introduced to model probabilistic systems. Amongst these, systems featuring also non-determinism are particularly problematic. In this talk we show a language based on algebra and coalgebra to specify traces (linear time semantics) of these kind of systems.