Pages that link to "Item:Q1064050"
From MaRDI portal
The following pages link to Exposure to deadlock for communicating processes is hard to detect (Q1064050):
Displaying 4 items.
- On the analysis of cooperation and antagonism in networks of communicating processes (Q1098279) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Analysis of a class of communicating finite state machines (Q1323365) (← links)
- Boundedness, empty channel detection, and synchronization for communicating finite automata (Q1819939) (← links)