1. Non-blocking message total ordering protocol;Science in China Series F: Information Sciences;2008-08-09
2. Petri Nets and Dependability;Lectures on Concurrency and Petri Nets;2004
3. Memory fault tolerance software mechanisms: design and configuration support through SWN models;Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
4. Stochastic Petri nets and inheritance for dependability modelling;10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.