A.斯图尔特。;M.克林特。;J·加巴罗。 屏障同步:公理化和放松。 (英语) Zbl 1084.68021号 正式Asp。计算。 16,第1期,36-50(2004). 引用于1文件 MSC公司: 68甲18 函数编程和lambda演算 关键词:博客服务提供商;全局同步;高性能计算;霍尔逻辑;操作放松 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart}等人,正式Asp。计算。16,第1号,36--50(2004;Zbl 1084.68021)