related documents 2008 8th international conference on application of concurrency to system design proceedings June 23’27, 2008 Xi’an, China Conferences