Browsing School of Computer Science and Statistics by Sponsor "Irish Research Council for Science, Engineering, and Technology: funded by the National Development Plan"

Sort by: Order: Results:

Now showing items 1-1 of 1

  • Explicit Substitution and Sorted Bigraphs 

    Ó Conchúir, Shane Thomas (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, ...