Browsing Computer Science (PhD Theses) by Sponsor "Irish Research Council for Science, Engineering, and Technology: funded by the National Development Plan"
Now showing items 1-1 of 1
-
Explicit Substitution and Sorted Bigraphs
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2009)This dissertation investigates the notions of sorting and explicit substitution in the framework of bigraphs. We present kind sortings which endeavour to add enough structure to bigraphs to allow faithful representations, ...