Regularity results for FIFO channels

zbMATH Open1272.68306MaRDI QIDQ2848411

Richard Trefler, Nils Klarlund

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002343

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Testing for unboundedness of fifo channels 👍 👎
• A simple proof for the stability of global FIFO queueing networks 👍 👎
• Instability of FIFO queueing networks 👍 👎
• Convergence to equilibria for fluid models of FIFO queueing networks 👍 👎
• Extremal properties of the FIFO discipline in queueing networks 👍 👎
• Verification, Model Checking, and Abstract Interpretation 👍 👎

This page was built for publication: Regularity results for FIFO channels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848411)