Xiao Jun Chen

	2002
8		Xiao Jun Chen, Hasan Ural: Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45(2): 162-173 (2002)
	2001
7		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		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

Coauthor Index

1	Flavio Corradini	[3] [5]
2	Giuseppe De Giacomo	[4] [6]
3	Roberto Gorrieri	[3]
4	Rocco De Nicola	[1] [7]
5	Hasan Ural	[8]

Colors in the list of coauthors