Sound bisimulations for higher-order distributed process calculus

Adrien Piérard, Eijiro Sumii

研究成果: 書籍の章/レポート/Proceedings会議への寄与査読

14 被引用数 (Scopus)

フィンガープリント

「Sound bisimulations for higher-order distributed process calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Computer Science