Developing topology discovery in Event-B

DOI10.1016/j.scico.2009.07.006zbMath1192.68829OpenAlexW2120822777MaRDI QIDQ1044181

Hironobu Kuruma, Thai Son Hoang, Jean-Raymond Abrial, David A. Basin

Publication date: 11 December 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.07.006

zbMATH Keywords

formal methodsrefinementroutingevent-Btopology discovery

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Network design and communication in computer systems (68M10)

Related Items (1)

Developing Topology Discovery in Event-B

Uses Software

• HOL/SPIN
• SPIN
• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Completing the temporal picture
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• Self-stabilizing systems in spite of distributed control
• The B-Book
• Distributed directory service and message routing for mobile agents

This page was built for publication: Developing topology discovery in Event-B