# Xian Xu

According to our database

Collaborative distances:

^{1}, Xian Xu authored at least 17 papers between 2004 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

Trees from Functions as Processes.

Logical Methods in Computer Science, 2018

Trees from Functions as Processes.

CoRR, 2018

2017

On parameterization of higher-order processes.

Int. J. Comput. Math., 2017

2016

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

2015

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

2014

Trees from Functions as Processes.

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

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

2012

Distinguishing and relating higher-order and first-order processes by expressiveness.

Acta Inf., 2012

2009

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

2007

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

2005

An Implementation for Mapping SBML to BioSPI.

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

2004

Grid Service and JCA: An Effective Integration Strategy.

Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), 2004