University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Refinement-friendly bigraphs

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

Pictures

Partners

ONR, U.S.

ONR, U.S.

Info

People

Activities

Themes