Professor Prakash Panangaden will review the concept of probabilistic bisimulation and its extension to systems with continuous state spaces.  Surprisingly, it turned out that one can prove a striking logical characterization theorem: a theorem that pins down exactly what differences one can ‘’see’’ in process behaviours when two systems are not bisimilar.  I will outline […]

Abstract:Lua is a scripting language widely uses in several fields, with strong niches in games and embedded systems. Pallene is a new language designed to be a companion language for Lua, that is, a system language specifically designed to interoperate with Lua in a scripting architecture.In this talk, Roberto will present the main features of […]