We provide a solution for the design of safe concurrent systems by compositional application
of verified design patterns—called architectures—to a small set of functional components. To …