(sigemb-info 546) Talk on Coalgebraic Simulation Notions for Probabilistic Systems

[Ichiro Hasuo <i.hasuo@xxxxxxxxx>]

Dear colleagues,

This week Thu 26 Aug, from 11.00am, I am making a talk on my
recent work on a coalgebraic perspective on probabilistic
systems, especially simulation notions for them. It will not
contain much of technical category theory; more emphasis will be
on the use of the categorical formalism in concurrency theory. No
registration necessary. See you there!

Best regards,
Ichiro Hasuo
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/


=====
Speaker:
  Ichiro Hasuo (RIMS, Kyoto Univ.)

Title:
  Generic Forward and Backward Simulations II: Probabilistic Simulation

Date:
  11.00 - 12.00, Thursday 26 Aug 2010

Place:
   Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)"
     http://www.kyoto-u.ac.jp/en/access/campus/main.htm
     (Next to our CS Lab)
   総合研究2号館 478号室 (CS室のとなりです)
     http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm

Abstract:

Jonsson and Larsen’s notion of probabilistic simulation is studied
from a coalgebraic perspective. The notion is compared with two
generic coalgebraic definitions of simulation: Hughes and Jacobs’ one,
and the one introduced previously by the author. We show that the
first almost coincides with the second, and that the second is a
special case of the last.We investigate implications of this
characterization; notably the Jonsson-Larsen simulation is shown to be
sound, i.e. its existence implies trace inclusion.

This is work to be presented at CONCUR 2010.