Formal semantics of Agent-based distributed computing model
HOU Jinkui WANG Lei
Journal of Computer Applications . 2013, (12): 3423 -3427 .