Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients