using '->' to represent the order of events, using ',' to represent the
concurrent event.