Hind Fadil, Jean-Luc Koning. Rules for Translating Interaction Protocols into a B Formal Representation. In Andrzej Skowron, Jean-Paul A. Barthès, Lakhmi C. Jain, Ron Sun, Pierre Morizet-Mahoudeaux, Jiming Liu, Ning Zhong, editors, Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005. pages 495-498, IEEE Computer Society, 2005. [doi]
Abstract is missing.