Topology-Dependent Abstractions of Broadcast Networks
From MaRDI portal
Publication:3525640
DOI10.1007/978-3-540-74407-8_16zbMath1151.68322OpenAlexW2000419603MaRDI QIDQ3525640
Flemming Nielson, Hanne Riis Nielson, Sebastian Nanz
Publication date: 18 September 2008
Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=5308
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items