Towards the Operational Semantics of User-Centric Communication Models | IEEE Conference Publication | IEEE Xplore