CWI, Amsterdam, The Netherlands;
test-and-set; randomized wait-free implementation; atomic variables finite-state correctness proof;
机译:ebXML协议的有限状态验证
机译:高效的随机测试和设置实现
机译:具有ADS-B系统中的聚合验证的新可提供的分层匿名认证协议
机译:随机匿名双程的协议与有限状态验证的随机匿名双程等待无等待测试和设置
机译:有限状态机器的演员协议规范和验证
机译:关于有限状态协议的交互式能力
机译:随机两进程免等待测试和设置
机译:双进程无等待测试集的随机算法