×

无色任务的模拟和简化。 (英语) Zbl 1301.68122号

2012年ACM分布式计算原理研讨会论文集,PODC’12,Funchal,葡萄牙,2012年7月16-18日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1450-3)。253-260 (2012).

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
64岁以下 分布式系统
68米15 网络和计算机系统的可靠性、测试和容错
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序