Constraining rule-based dynamics with types

Vincent Danos, Russ Harmer, Glynn Winskel

Research output: Contribution to journalArticlepeer-review


A generalised framework of site graphs is introduced in order to provide the first fully semantic definition of the side-effect-free core of the rule-based language Kappa. This formalisation allows the use of types either to confirm that a rule respects a certain invariant or to guide a restricted refinement process that allows us to constrain its run-time applicability.
Original languageUndefined/Unknown
Pages (from-to)272-289
Number of pages18
JournalMathematical Structures in Computer Science
Publication statusPublished - 1 Apr 2013

Cite this