Synthesizing Distributed and Parallel Programs through Optimistic Transformations.

作者: Shaula Yemini , Robert E. Strom

DOI:

关键词:

摘要:

参考文章(0)