Domain Theoretic Techniques in an Operational Setting