Congruent bisimulation equivalence of ambient calculus based on contextual transition system
研究成果
3
被引用数
(Scopus)