ALGORITHM / 鬱P ALGORITHM / 鬱P 3x3 ZZ Method Speedsolving。ALGORITHM / 鬱P ALGORITHM / 鬱P 3x3 ZZ Method Speedsolving。Example 2.4. The power of ZX-calculus is it derives a set of rules。Verifying Mutual Exclusion Algorithms with Non-Atomic Registers。中古CD帯つき。