Controllability Preservation and Behavioural Refinement for Service Protocols.

Nabil Hameurlain

Browse the full APSCC paper archive.