2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Yuki Nishida, Atsushi Igarashi
Recently, we have proposed coordinated choices, which are nondeterministic choices equipped with names. The main characteristic of coordinated choices is that they synchronize nond…