( en | de | ru )

 

Disambiguierung von "Fu, Yuxi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Name-Passing Calculus.

, und . CoRR, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yuxi Feng

Zhendong Fu

Lei Fu

Qiang Fu

Yunjiao Fu

 

Weitere Publikationen von Autoren mit dem selben Namen

Tau laws for pi calculus., und . Theor. Comput. Sci., 308 (1-3): 55-130 (2003)A Proof Theoretical Approach to Communication.. ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 325-335. Springer, (1997)Bisimulation Lattice of Chi Processes.. ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 245-262. Springer, (1998)Place Bisimulation and Liveness for Open Petri Nets., , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 1-17. (2016)A Simple Process Calculus for the analysis of Security Protocols., , und . PDCAT, Seite 110-114. IEEE Computer Society, (2005)Improved Algorithm for Reachability in d-VASS., , und . ICALP, Volume 297 von LIPIcs, Seite 136:1-136:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Dividing Line between Decidable PDA's and Undecidable Ones., und . CoRR, (2014)Categorical Properties of Logical Frameworks.. Math. Struct. Comput. Sci., 7 (1): 1-47 (1997)The Name-Passing Calculus., und . CoRR, (2015)Theory by Process.. CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 403-416. Springer, (2010)