@inproceedings{wang12,
	author = {Xu Wang},
	title = {Maximal Confluent Processes},
	booktitle={Proc. 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'12)},
	series={Lecture Notes in Computer Science},
	editor={S. Haddad and L. Pomello},	
	volume = {7347},
	pages={188--207},
	publisher = {Springer-Verlag},
	year = {2012}
}