Searching for authors named "Yuxi Fu" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Bisimulation lattice of chi processes
- …Bisimulation Lattice of Chi Processes ⋆ Yuxi Fu ⋆⋆ Department of Computer Science Shanghai…
- Cited by 4 (1 self) – Add To MetaCart
-
Open bisimulations on chi processes
- …Open Bisimulations on Chi Processes ⋆ Yuxi Fu ⋆⋆ Department of Computer Science Shanghai Jiaotong…
- Cited by 6 (1 self) – Add To MetaCart
-
Recursive Models of General Inductive Types
- …Computer Science University of Manchester Recursive Models of General Inductive Types Yuxi Fu…
- Cited by 2 (1 self) – Add To MetaCart
-
Understanding Inductive Types in Constructions
- …Computer Science University of Manchester Understanding Inductive Types in Constructions Yuxi Fu…
- Cited by 2 (1 self) – Add To MetaCart
-
Categorical Properties of Logical Frameworks
- …Computer Science University of Manchester Categorical Properties of Logical Frameworks Yuxi Fu…
- Cited by 1 (1 self) – Add To MetaCart
-
Encodings In Polymorphism, revisited
- …Computer Science University of Manchester Encodings In Polymorphism, Revisited Yuxi Fu Technical…
- Cited by 1 (1 self) – Add To MetaCart
-
On Quasi Open Bisimulation
- …On Quasi Open Bisimulation ∗ Yuxi Fu † Department of Computer Science Shanghai Jiaotong University…
- Cited by 3 (0 self) – Add To MetaCart
-
The Ground Congruence for Chi Calculus
- …Bisimulation Congruence of Chi Calculus Yuxi Fu ∗ Department of Computer Science Shanghai Jiaotong…
- Cited by 3 (2 self) – Add To MetaCart
-
A proof-theoretical approach to communication
- …A Proof Theoretical Approach to Communication Yuxi Fu ⋆ Department of Computer Science, Shanghai…
- Cited by 19 (4 self) – Add To MetaCart
-
Tau laws for pi calculus
- …Tau Laws for Pi Calculus Yuxi Fu ∗ Zhenrong Yang Department of Computer Science Shanghai Jiaotong…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
