Definitions of push-down queue:

• noun:   a last-in first-out kind of queue (LIFO)