Process Models for Distributed Event-Based Systems