Developing topology discovery in Event-B

DOI10.1016/J.SCICO.2009.07.006MaRDI QIDQ1044181zbMATH OpenOpenAlexFDO

Authors Thai Son Hoang, Hironobu Kuruma, Jean-Raymond Abrial, David 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

event-Bformal methodsrefinementroutingtopology discovery

Mathematics Subject Classification ID

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

Recommendations

• Developing Topology Discovery in Event-B
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• scientific article; zbMATH DE number 1487745
• Topology-Dependent Abstractions of Broadcast Networks
• Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm

Cites work

• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• A note on two problems in connexion with graphs
• Completing the temporal picture
• Distributed directory service and message routing for mobile agents
• scientific article; zbMATH DE number 1670735 (Why is no real title available?)
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 732976 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Modeling in Event B. System and software engineering.
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Self-stabilizing systems in spite of distributed control
• The B-Book

Cited in

(2)

• Developing Topology Discovery in Event-B
• Event driven topology broadcast without sequence numbers

Describes a project that uses

Uses Software

• Rodin
• SPIN
• HOL/SPIN

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1044181)