Weak Bisimulations for Labelled Transition Systems with Quantitative Aspects

ULTraS are a general metamodel for systems with quantitative aspects, subsuming a wide range of LTSs, providing a general notion of strong (weighted) bisimulation. In this talk we extend this framework towards other behavioural equivalences, by considering semirings of weights. Taking advantage of this extra structure, we introduce a general notion of weak weighted bisimulation. We show that weak weighted bisimulation coincides with the usual weak bisimilations in the cases of non-deterministic and fully probabilistic systems; moreover, it naturally provides a definition of weak bisimulation also for kinds of LTSs where this notion is difficult to provide. Finally, we briefly describe a categorical account of the coalgebraic construction of weak weighted bisimulation; this construction points out how to port our approach to other equivalences based on different notion of observability.

Relatore

Prof. Marino Miculan

Docente di riferimento

Prof. Marco Bernardo

Vincoli di partecipazione

Verranno riconosciuti CFU solo agli studenti che in base all'anno di iscrizione non abbiano lezioni che si sovrappongono con il seminario.

Date

Luogo	Data	Orario	Crediti (CFU)
Aula Turing, Collegio Raffaello, Urbino	28 Aprile 2015	16:00-18:00	0.125