| 2002 |
|---|
| 8 | EE | Xiao Jun Chen,
Hasan Ural:
Construction of Deadlock-free Designs of Communication Protocols from Observation.
Comput. J. 45(2): 162-173 (2002) |
| 2001 |
|---|
| 7 | EE | Xiao Jun Chen,
Rocco De Nicola:
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.
Theor. Comput. Sci. 254(1-2): 337-361 (2001) |
| 1999 |
|---|
| 6 | EE | Xiao Jun Chen,
Giuseppe De Giacomo:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Artif. Intell. 107(1): 63-98 (1999) |
| 1997 |
|---|
| 5 | | Xiao Jun Chen,
Flavio Corradini:
On the Specification and Verification of Performance Properties for a Timed Process Algebra.
AMAST 1997: 123-137 |
| 1996 |
|---|
| 4 | | Giuseppe De Giacomo,
Xiao Jun Chen:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
AAAI/IAAI, Vol. 1 1996: 658-663 |
| 3 | | Xiao Jun Chen,
Flavio Corradini,
Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract).
AMAST 1996: 306-320 |
| 2 | | Xiao Jun Chen:
Model Checking ACTL Constrained Processes.
Frontiers of Combining Systems (FroCos) 1996: 377-388 |
| 1 | | Xiao Jun Chen,
Rocco De Nicola:
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.
ICALP 1996: 63-74 |
