Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar by Dr. Matteo Mio

LFCS Seminar by Dr. Matteo Mio

— filed under:

Convex Bisimilarity and Probabilistic Concurrent Systems

  • LFCS Seminar
When Nov 11, 2014
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Contact Name Alex Simpson
Add event to calendar vCal

Several notions of bisimulation relations for probabilistic
concurrent transition systems have been considered in the literature.
I will present a novel testing-based characterization of Segala's
"convex bisimilarity". As a main result, I'll show how the recently
introduced \Lukasiewicz modal mu-calculus [Mio&Simpson 2013] logically
characterizes convex bisimilarity.

Document Actions