Building Bigraphs of the real world

Kang Rong Roy Ang

This report proposes a formal specification for organising all buildings, streets and administrative areas in the world into a hierarchical space-partitioning tree using data from…