Ivan Moura, Pierre E. Bonzon. A Logical Abstract Machine for Mobile Communicating Agents. In M. H. Hamza, editor, The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria. pages 1133-1138, IASTED/ACTA Press, 2003.
Abstract is missing.