Xiao Jun Chen

According to our database, Xiao Jun Chen authored at least 8 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Construction of Deadlock-free Designs of Communication Protocols from Observation.

Xiao Jun Chen, Hasan Ural

Comput. J., 2002

2001

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.

Xiao Jun Chen, Rocco De Nicola

Theor. Comput. Sci., 2001

2000

Deriving use cases for distributed systems from knowledge requirements.

Xiao Jun Chen, Luigi Logrippo

Ann. des Télécommunications, 2000

1999

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.

Xiao Jun Chen, Giuseppe De Giacomo

Artif. Intell., 1999

1997

On the Specification and Verification of Performance Properties for a Timed Process Algebra.

Xiao Jun Chen, Flavio Corradini

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.

Xiao Jun Chen, Rocco De Nicola

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Model Checking ACTL Constrained Processes.

Xiao Jun Chen

Proceedings of the Frontiers of Combining Systems, 1996

A Study on the Specification and Verification of Performance Properties (Extended Abstract).

Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri

Proceedings of the Algebraic Methodology and Software Technology, 1996