cancelpublished Refinement-Friendly Semantics for Bigraphs [and their security applications]

status will change from published to submitted

validating...