Formalizing Institutions Through Process Algebra

We will look at recent developments in process algebra augmented with places, and in particular, the type systems and logics that have been proposed, to see how these may help us acheive our goals of constructing a specification language for institutions rooted in a firm mathematical foundation, such that the generated insitutions can be proven to satisfy the norms of their specification.