Regularity results for FIFO channels

MaRDI QIDQ2848411zbMATH OpenFDO

Authors Nils Klarlund, Richard Trefler

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

• Extremal properties of the FIFO discipline in queueing networks
• scientific article; zbMATH DE number 176515
• Testing for unboundedness of fifo channels
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1750590
• Convergence to equilibria for fluid models of FIFO queueing networks
• A simple proof for the stability of global FIFO queueing networks
• Instability of FIFO queueing networks

Cited in

(3)

• Verification, Model Checking, and Abstract Interpretation
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• Reachability problems in piecewise FIFO systems

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)