7 citations · 7 across the 1 of their papers we have counts for
1 paper
Yuan Feng, Yingte Xu
Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the details of possible implementations. It supp…