Component failures within systems can be viewed as undesirable events occurring concurrently with the set of normal system events. There appear three strands of work that tend to relate concurrency to achieving dependability. Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures. Replication induced concurrency management.
Replication is a widely used technique for achieving reliability.
Replica management essentially involves ensuring that replicas perceive concurrent events identically. Application of concurrency formalisms for dependability assurance. CSP, Petri nets, CCS are useful tools to specify and verify dependable designs and protocols which cater for fault tolerance, security and safety. We seek submissions, which make original and discernable contributions in the areas of concurrency and dependability.