DMCA

On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi

by Xian Xu
Citations:4 - 0 self