scientific article; zbMATH DE number 1487745

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

• scientific article; zbMATH DE number 1303994
• Refinement of events in the development of real-time distributed systems
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• scientific article; zbMATH DE number 1258883

Cited in

(12)

• Developing topology discovery in Event-B
• Refinement of events in the development of real-time distributed systems
• scientific article; zbMATH DE number 1258883 (Why is no real title available?)
• scientific article; zbMATH DE number 1277093 (Why is no real title available?)
• 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:

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