Pages that link to "Item:Q685434"
From MaRDI portal
The following pages link to Testing for unboundedness of fifo channels (Q685434):
Displayed 4 items.
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Quasi-static scheduling of communicating tasks (Q1959479) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q1960526) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)