- The Ground Congruence for Chi Calculus Yuxi Fu Zhenrong Yang
- Axioms for Computation BASICS, Department of Computer Science, Shanghai Jiaotong University
- Theory Defined by Process BASICS, Department of Computer Science
- The -Calculus The paper proposes a new process algebra, called -
- Theory by Process BASICS, Department of Computer Science
- On the Expressiveness of Interaction Yuxi Fu Hao Lu
- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
- Acta Informatica (2007) 43:535594 DOI 10.1007/s00236-007-0038-z
- pp: 1-52 (col.fig.: nil) PROD. TYPE: COM
- On the Decidability of Checking Problems for CCS with Static -Operator
- Bisimulation Congruence of Chi Calculus Department of Computer Science
- The Name-Passing Calculus Shanghai Jiao Tong University
- Theory by Process BASICS, Department of Computer Science
- Chi Calculus with Mismatch Yuxi Fu Zhenrong Yang
- A Proof Theoretical Approach to Communication
- Classifying Interactions via Subbisimilarity Yuxi Fu Hao Lu
- Categorical Properties of Logical Frameworks Department of Computer Science
- Tau Laws for Pi Calculus Zhenrong Yang
- Variations on Mobile Processes Department of Computer Science, Shanghai Jiaotong University
- On Quasi Open Bisimulation Department of Computer Science
- The Name-Passing Calculus Shanghai Jiao Tong University
- The Value-Passing Calculus Shanghai Jiao Tong University
- IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 14, NO. 6, DECEMBER 2006 709 Error Estimation of Perturbations Under CRI
- Checking Equivalence for Higher Order Process , Department of Computer Science
- Observing Asymmetry and Mismatch Xiaoju Dong and Yuxi Fu
- Bisimulation Lattice of Chi Processes Department of Computer Science
- Recursive Models of General Inductive Types Department of Computer Science, University of Manchester
- Theory of Interaction Shanghai Jiao Tong University
- Axiomatization without Prefix Combinator Department of Computer Science
- Open Bisimulations on Chi Processes Department of Computer Science
- A Schematic Axiom for Open Congruence Department of Computer Science
- Under consideration for publication in Math. Struct. in Comp. Science The -calculus in the -calculus
- Reaction Graph* Department of Computer Science
- The Universal Process Shanghai Jiao Tong University
