( en | de | ru )

 

Disambiguation of "Fu, Yuxi"

Author of the publication

copydeleteadd this publication to your clipboard
A Generic Model for Analyzing Security Protocols.

, , , and . MMM-ACNS, volume 3685 of Lecture Notes in Computer Science, page 119-128. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yuxi Feng

Zhendong Fu

Qiang Fu

Lei Fu

Ganhua Fu

 

Other publications of authors with the same name

Bisimulation Lattice of Chi Processes.. ASIAN, volume 1538 of Lecture Notes in Computer Science, page 245-262. Springer, (1998)A Proof Theoretical Approach to Communication.. ICALP, volume 1256 of Lecture Notes in Computer Science, page 325-335. Springer, (1997)Symmetric π-calculus.. J. Comput. Sci. Technol., 13 (3): 202-208 (1998)Relative properties of frame language.. J. Comput. Sci. Technol., 14 (4): 320-327 (1999)Structures definable in polymorphism.. J. Comput. Sci. Technol., 13 (6): 579-587 (1998)Reaction graph.. J. Comput. Sci. Technol., 13 (6): 510-530 (1998)Preface., and . Math. Struct. Comput. Sci., 25 (4): 764 (2015)Fair ambients.. Acta Inf., 43 (8): 535-594 (2007)Tau laws for pi calculus., and . Theor. Comput. Sci., 308 (1-3): 55-130 (2003)A Model in kappa for DNA Addition., , and . MeCBIC@ICALP, volume 171 of Electronic Notes in Theoretical Computer Science, page 209-222. Elsevier, (2006)