Karl Palmskog, Mads Dam, Andreas Lundblad and Ali Jafari. ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects.
A technical report describes the formal semantics of Core ABS and ABS-NET.