Pages that link to "Item:Q4632436"
From MaRDI portal
The following pages link to Undecidable verification problems for programs with unreliable channels (Q4632436):
Displaying 8 items.
- Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
- Communication errors in the \(\pi\)-calculus are undecidable (Q1606997) (← links)
- On termination and invariance for faulty channel machines (Q1941874) (← links)
- (Q4528870) (← links)
- (Q5015368) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties (Q5277794) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)