Topology-Dependent Abstractions of Broadcast Networks

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

Mathematics Subject Classification ID

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

A monotone framework for CCS ⋮ Static analysis of topology-dependent broadcast networks