Xian Xu

According to our database1, Xian Xu
  • authored at least 15 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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


  Loading...