Familial Monads and Structural Operational Semantics
Résumé
We propose a categorical framework for structural operational semantics, in which we prove that under suit-
able hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimula-
tion up to context, an efficient method for reducing the size of bisimulation relations. Finally, we demonstrate
the flexibility of our approach by reproving known results in three variants of the pi-calculus.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...