Sound bisimulations for higher-order distributed process calculus
Adrien Piérard, Eijiro Sumii
研究成果: Conference contribution
14
被引用数
(Scopus)