Communicating Process Architectures 2005: WoTUG-28

The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person - maybe not even a small team - can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined t...