published in Proceedings - International Conference on Application of Concurrency to System Design, ACSD Journal
presented at event Sixth International Conference on Application of Concurrency to System Design (ACSD'06) Conference