Games to Decide All Behavioral Equivalences at Once (Highlights'23)

BB
By Benjamin Bisping
Feb. 26, 2025
Present