Prefer a chat interface with context about you and your work?
The inclusion structure of partially lossy queue monoids and their trace submonoids
We model the behavior of a lossy fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. To have a common model for reliable and lossy queues, we split the alphabet of the queue into two parts: the forgettable letters and the letters that are …