Deadlock in packet switching networks

DOI10.1007/978-3-030-89247-0_9zbMath1496.68043arXiv2101.06015OpenAlexW3208964046MaRDI QIDQ2145272

Jeroen J. A. Keiren, Anna Stramaglia, Hans Zantema

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2101.06015

zbMATH Keywords

model checkingdeadlockpacket switching network

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• nuXmv
• Unnamed Item

Cites Work

• Deadlock-Free Packet Switching Networks
• Unnamed Item
• Unnamed Item

This page was built for publication: Deadlock in packet switching networks