Formal semantics of Agent-based distributed computing model