IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "The Theory of Traces for Systems with Probability, Non-Determinism and Termination "

by Filippo Bonchi

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.