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]
@inproceedings{ZhangL16-62,
title = {An algebraic specification language for organizational behavior of OOMAS},
author = {Yan Zhang and Lejian Liao},
year = {2016},
doi = {10.1145/2975954.2975957},
url = {http://doi.acm.org/10.1145/2975954.2975957},
researchr = {https://researchr.org/publication/ZhangL16-62},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016},
editor = {Zijiang Yang and Ting Liu and Daniel Xiapu Luo},
publisher = {ACM},
isbn = {978-1-4503-4510-1},
}