A survey of markovian behavioral equivalences (2007)

by M Bernardo
Venue:SFM 2007 Advanced Lectures