格理论(lattice theory)的经典著作以及它的应用有哪些?
关注者
301被浏览
34,534登录后你可以
不限量看优质回答私信答主深度交流精彩内容一键收藏
lvish: Parallel scheduler, LVar data structures, and infrastructure to build more.
LVars
LVars
: lattice-based data structures for deterministic parallelism
neu.edu 的页面Parallel Type-checking with Saturating LVars