Searching for authors named Xian Xu – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Tissue P Systems with Parallel Rules on Channels
- …Tissue P Systems with Parallel Rules on Channels Xian Xu ∗ Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Toward a Bisimulation Theory for Linear Higher-Order π-Calculus
- …On Bisimulation Theory in Linear Higher-Order π-Calculus Xian Xu ⋆ BASICS Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
- …On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi Xian Xu 2 Shanghai…
- Cited by 1 (0 self) – Add To MetaCart
-
found at the ENTCS Macro Home Page. Appendices to “Toward a Bisimulation Theory for Linear Higher-Order π-Calculus”
- … Higher-Order π-Calculus” Xian Xu a,1,2 a BASICS Department of Computer Science and Technology Shanghai…
- Add To MetaCart
Showing 1 through 4.
