Yan Zhang, Lejian Liao. An algebraic specification language for organizational behavior of OOMAS. In Zijiang Yang, Ting Liu, Daniel Xiapu Luo, editors, Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016. pages 1-6, ACM, 2016. [doi]
Abstract is missing.