169 citations · 371 across the 16 of their papers we have counts for
1 paper · 2 filters
Michael Huth
A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transi…