Reasoning about concurrent actions in multi-agent systems

Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng. Reasoning about concurrent actions in multi-agent systems. J. Comput. Sci. Technol., 14(4):422-428, 1999. [doi]

Abstract

Abstract is missing.