According to our database1, Xian Xu
Legend:Book In proceedings Article PhD thesis Other
On parameterization of higher-order processes.
Int. J. Comput. Math., 2017
Higher-order Processes with Parameterization over Names and Processes.
Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016
A behavioural theory for a π-calculus with preorders.
J. Log. Algebr. Meth. Program., 2015
On the Computation Power of Name Parameterization in Higher-order Processes.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015
A Behavioural Theory for a π-calculus with Preorders.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
Trees from Functions as Processes.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
On Context Bisimulation for Parameterized Higher-order Processes.
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013
On the Expressiveness of Parameterization in Process-Passing.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
Distinguishing and relating higher-order and first-order processes by expressiveness.
Acta Inf., 2012
On Bisimulation Theory in Linear Higher-Order pi-Calculus.
Trans. Petri Nets and Other Models of Concurrency, 2009
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.
J. Comput. Sci. Technol., 2009
A Model in kappa for DNA Addition.
Electr. Notes Theor. Comput. Sci., 2007
P Systems and Finite Automata.
Proceedings of the First International Conference on Complex, 2007
An Implementation for Mapping SBML to BioSPI.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005
Grid Service and JCA: An Effective Integration Strategy.
Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004