A message queue is a vector of messages of the same type.
The lifetime of all message queues is identical to the lifetime of a logic step to which they are tied.
This means that the solver always starts with empty queues and always finishes with empty queues.

Edit me