Αποστολή με SMS: Linear time, branching time and partial order in logics and models for concurrency