Irina Mocanu, Lorina Negreanu, Adina Magda Florea. Agents Modeling under Fairness Assumption in Event-B. In Filip Zavoral, Jason J. Jung, Costin Badica, editors, Intelligent Distributed Computing VII - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, IDC 2013, Prague, Czech Republic, September 201. Volume 511 of Studies in Computational Intelligence, pages 301-307, Springer, 2013. [doi]
Abstract is missing.