A simplified protocol operational semantics for multiagent protocols | IEEE Conference Publication | IEEE Xplore