Fu-Shiung Hsieh, Jim-Bon Lin. Temporal Reasoning in Multi-agent Workflow Systems Based on Formal Models. In Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen, editors, Intelligent Information and Database Systems - 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I. Volume 7196 of Lecture Notes in Computer Science, pages 33-42, Springer, 2012. [doi]
Abstract is missing.