Splitting forward simulations to copewith liveness

Wim H. Hesselink. Splitting forward simulations to copewith liveness. Acta Informatica, 42(8-9):583-602, 2006. [doi]

Abstract

Abstract is missing.