BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    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 Thu Nov 14 05:34:48 2024 GMT.