Computer Science: CHINA 2008 (Concurrency metHods: Issues a Nd Applications)

摘要

These are proceedings of the CHINA 2008 Workshop (Concurrency methods: Issues and Applications). The workshop was a satellite event of the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, co-located with the 8th International Conference on Application of Concurrency to System Design, held in Xian, China, in June 2008.