Sort by: Order: Results:

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