id: 01104014
dt: j
an: 01104014
au: Fu, Yuxi
ti: Higher order $χ$-processes.
so: J. Shanghai Jiaotong Univ. (Chin. Ed.) 31, No.8, 40-43 (1997).
py: 1997
pu: Shanghai Jiaotong University, Shanghai
la: ZH
cc: 
ut: local bisimulation
ci: 
li: 
ab: Summary: Higher-order $χ$-calculus is studied. It is shown that the notion
    of local bisimulation is the right tool in studying the algebraic
    properties of higher-order $χ$-processes. It is also shown that the
    replicator operator is unnecessary as the general recursion is
    definable in this language.
rv: