Fu, Yuxi Theory of interaction. (English) Zbl 1353.68082 Theor. Comput. Sci. 611, 1-49 (2016). MSC: 68Q05 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 611, 1--49 (2016; Zbl 1353.68082) Full Text: DOI
Fu, Yuxi Variations on mobile processes. (English) Zbl 0930.68062 Theor. Comput. Sci. 221, No. 1-2, 327-368 (1999). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 221, No. 1--2, 327--368 (1999; Zbl 0930.68062) 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 PDFBibTeX XMLCite \textit{Y. Fu}, J. Comput. Sci. Technol. 13, No. 6, 510--530 (1998; Zbl 0910.68073) Full Text: DOI
Fu, Yuxi A proof theoretical approach to communication. (English) Zbl 1401.68226 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 325-335 (1997). MSC: 68Q85 03B40 03F05 68Q05 68Q10 68Q55 PDFBibTeX XMLCite \textit{Y. Fu}, Lect. Notes Comput. Sci. 1256, 325--335 (1997; Zbl 1401.68226) Full Text: DOI