Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism (2002)

by Nobuko Yoshida
Citations:9 - 6 self