Reactive system refinement of distributed systems in B

MaRDI QIDQ4494258zbMATH OpenFDO

Authors Kelly Androutsopoulos, K. Lano

Publication date 10 August 2000

zbMATH Keywords

B specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Refinement of Z machines
• Refinement of events in the development of real-time distributed systems
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Program development by refinement. Case studies using the B method

Cited in

(12)

• Developing topology discovery in Event-B
• Refinement of events in the development of real-time distributed systems
• Program development by refinement. Case studies using the B method
• Design and reactive systems and their distributed implementation with Statecharts
• Automating the refinement of specifications for distributed systems via syntactic transformations
• scientific article; zbMATH DE number 2080014 (Why is no real title available?)
• scientific article; zbMATH DE number 2080015 (Why is no real title available?)
• scientific article; zbMATH DE number 1759747 (Why is no real title available?)
• scientific article; zbMATH DE number 2086945 (Why is no real title available?)
• scientific article; zbMATH DE number 2090145 (Why is no real title available?)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm

This page was built for publication: Reactive system refinement of distributed systems in B

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