Browsing Computer Science (Theses and Dissertations) by Author "Bernardi, Giovanni"

Now showing items 1-1 of 1

    • Behavioural equivalences for web services 

      Bernardi, Giovanni (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013)
      This thesis is a foundational and systematic investigation of the principles which ensure that a piece of communicating software can be replaced by another piece of communicating software, without hindering the operations ...