Sciweavers

60
Voted
CONCUR
2010
Springer
14 years 10 months ago
Generic Forward and Backward Simulations II: Probabilistic Simulation
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...
Ichiro Hasuo