Maintenance of Ambiences for Mobile Systems (共著)
Proc. of 1999 International Conference on Parallel Processing(ICPP-99), IEEE Computer Society 1999
On a Concurrency calculus for design of mobile telecommunication systems
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X/PSTV XVII'97, Chapman & Hall 1997