A capability calculus for concurrency and determinism
Tachio Terauchi*, Alex Aiken
*この研究の対応する著者
研究成果: Conference contribution
10
被引用数
(Scopus)