Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Fu, Yuxi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Branching bisimilarity checking for PRS
Qiang Yin
,
Yuxi Fu
,
Chaodong He
,
Mingzhang Huang
,
Xiuting Tao
Lecture Notes in Computer Science
8573
, 2014, pp. 363-374
Checking equality and regularity for normed BPA with silent moves
Yuxi Fu
Lecture Notes in Computer Science
7966
, 2013, pp. 238-249
On the expressiveness of interaction
Yuxi Fu
,
Hao Lu
Theoretical Computer Science
411
(11-13), 2010, pp. 1387-1451
Fair ambients
Yuxi Fu
Acta Informatica
43
(8), 2007, pp. 535-594
On quasi-open bisimulation
Yuxi Fu
Theoretical Computer Science
338
(1-3), 2005, pp. 96-126
Unterstanding the mismatch combinator in chi calculus
Yuxi Fu
,
Zhenrong Yang
Theoretical Computer Science
290
(1), 2003, pp. 779-830
Tau laws for pi calculus
Yuxi Fu
,
Zhenrong Yang
Theoretical Computer Science
308
(1-3), 2003, pp. 55-130
Bisimulation congruence of
\chi
-calculus
Yuxi Fu
Information and Computation
184
(1), 2003, pp. 201-226
The ground congruence for Chi calculus
Yuxi Fu
,
Zhenrong Yang
Lecture Notes in Computer Science
1974
, 2000, pp. 385-396
Variations on mobile processes
Yuxi Fu
Theoretical Computer Science
221
(1-2), 1999, pp. 327-368