Refinement-friendly bigraphs
Formalism for modelling interactions involving adjacency or action at a distance. Rebarbative semantics being tamed to allow model-checking.
Pictures
Partners
|
info
|
People |
|
|
Activities |
|
|
Themes |
