Bigraphical Logics for XML.
Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone · ePrints Soton (University of Southampton) · 2005
Bigraphs are emerging as an interesting model that can represent both the picalculus and the ambient calculus. Bigraphs are built orthogonally on two structures: a hierarchical `place' graph for locations and a `link' (hyper-)graph for connections. In a previous