Text this: DSPL: Γλώσσα περιγραφής της λειτουργίας κατανεμημένων συστημάτων