Modelling distributed and parallel computer systems
From MaRDI portal
Publication:1195147
DOI10.1016/0167-8191(92)90045-9zbMath0792.68007MaRDI QIDQ1195147
Publication date: 8 November 1992
Published in: Parallel Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-8191(92)90045-9
modelling; automatic synthesis; distributed computer systems; system model; prototyping; parallel computer systems; behaviour validation
68M10: Network design and communication in computer systems