Lorina Negreanu, Matei Popovici. Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. In 19th International Conference on Control Systems and Computer Science, CSCS 2013, Bucharest, Romania, May 29-31, 2013. pages 180-183, IEEE, 2013. [doi]
Abstract is missing.