On the Bisimulation Congruence in χ-Calculus

Lecture Notes in Computer Science - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/11590156_10 ◽

2005 ◽

pp. 128-139 ◽

Cited By ~ 1

Author(s):

Taolue Chen ◽

Tingting Han ◽

Jian Lu

Download Full-text