Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Number of items: 1.

Chen, Taolue and Han, Tingting and Lu, J. (2005) On the bisimulation congruence in χ-calculus. In: Ramanujam, R. and Sen, S. (eds.) FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science 3821. Springer, pp. 128-139. ISBN 9783540324195.

This list was generated on Tue Nov 26 05:39:26 2024 GMT.

Export as	Atom RSS