Fu, Yuxi Testing congruence for mobile processes. (English) Zbl 1004.68118 J. Comput. Sci. Technol. 17, No. 1, 73-82 (2002). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Semantics of constructions. II: The initial algebraic approach. (English) Zbl 0992.68139 J. Comput. Sci. Technol. 16, No. 2, 137-145 (2001). MSC: 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Semantics of constructions. I: The traditional approach. (English) Zbl 0974.03032 J. Comput. Sci. Technol. 16, No. 1, 13-24 (2001). MSC: 03B70 68Q55 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Relative properties of frame language. (English) Zbl 0945.68056 J. Comput. Sci. Technol. 14, No. 4, 320-327 (1999). MSC: 68P30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Structures definable in polymorphism. (English) Zbl 0910.68147 J. Comput. Sci. Technol. 13, No. 6, 579-587 (1998). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Reaction graph. (English) Zbl 0910.68073 J. Comput. Sci. Technol. 13, No. 6, 510-530 (1998). MSC: 68Q05 68Q10 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Symmetric \(\pi\)-calculus. (English) Zbl 0899.68022 J. Comput. Sci. Technol. 13, No. 3, 202-208 (1998). MSC: 68N15 68Q55 03B40 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Yuxi Constructive sets in computable sets. (English) Zbl 0883.03043 J. Comput. Sci. Technol. 12, No. 5, 425-440 (1997). MSC: 03F50 03F35 03E70 × Cite Format Result Cite Review PDF Full Text: DOI