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