To facilitate the
communication between the B community and the ASM community, we
shortly characterize basic Abstract State Machines (ASMs, for the B
community) and in terms of basic ASMs the semantical core of event-B
models (for the ASM community).