The formal specification of concurrency, specially of concurrent objects, has played an important role because of the widespread use of objetc-oriented languages. Important work has been developed based on process algebra. However, in this work, it is used another approach based on distributed abstract state machine. It will be shown how a core object based language can be translated into the respective machines.