Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010) [Editorial]

The articles in this Special Issue of IET Computers & Digital Techniques are revised and extended versions of selected papers presented at the 10th International Conference on Application of Concurrency to System Design (ACSD´10) held in Braga, Portugal, on 21–25 June 2010. The ACSD conference series serves a forum for disseminating theoretical results, advanced methods and tools for the design of complex concurrent systems. The main aim of the conference is to bring theory and practice closer together by informing practitioners of the latest theoretical results, and challenging theoreticians with complex industrial problems. It therefore welcomes both academic and industrial participants.