Weighted and Branching Bisimilarities from Generalized Open Maps.

Jrmy Dubut, Thorsten Wimann

Browse the full FOSSACS paper archive.