The complexity of modern computing systems has become so large that no one person - maybe even not a small team - can understand all aspects and all interactions. The only hope to create a work like the system is to ensure that all the correct components with the design and that the components can be combined to achieve scalability. An important property is that the cost of making changes to a linear system depending on the size of the changes that are not on the size of the system is changed. This publication offers a very high-quality refereeing papers covering many different aspects: the design and implementation of systems (both hardware and software), tools (concurrent programming languages, libraries and run-time kernel), formal methods and applications. IOS Press is an international scientific, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.