Abstract systems and events