Sixth International Conference on Application of Concurrency to System Design - Cover
2006
The following topics are dealt with: asynchronous systems; synchronous systems; scheduling; timed systems; stochastic models; model checking; systems-on-chips algebraic approach; concurrency systems; distributed systems