Skip to main content

Refinement-friendly bigraphs

Formalism for modelling interactions involving adjacency or action at a distance.  Rebarbative semantics being tamed to allow model-checking.

Partners

People

Sadie Creese
Professor of Cybersecurity
Michael Goldsmith
Senior Research Fellow, Associate Professor

Share this: