A formal semantics for agent distribution and fault tolerance in Jason | Publicación