BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2005
    Number of items: 1.

    2005

    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 Mon Jul 15 05:41:59 2024 BST.