The acceptance relation and the specification of communicating agents | IEEE Conference Publication | IEEE Xplore