Olivier Simonin, Arnaud Lanoix, Samuel Colin, Alexis Scheuer, François Charpillet. Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems. [Research Report] RR-6304, INRIA. 2007, pp.18.
⟨inria-00173876v2⟩