7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
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…