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.