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, ...