Search the dblp DataBase

Publications of Author

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