Browsing Computer Science (PhD Theses) 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 ...