Hierarchies and undecidability results for iterative arrays with sparse communication

From MaRDI portal
Publication:6151193