scientific article; zbMATH DE number 3997152

MaRDI QIDQ4723288zbMATH OpenFDO

Authors Ulla Gamwell Dawids, Hans Henrik Loevengreen

Publication date 1987

zbMATH Keywords

concurrencydistributed systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3898215
• Specification and verification of distributed systems by means of the elementary-REAL language
• scientific article; zbMATH DE number 5262134
• The use of aggregate and Z formal methods for specification and analysis of distributed systems
• Specification styles in distributed systems design and verification

Cited in

(2)

• scientific article; zbMATH DE number 3898215 (Why is no real title available?)
• A design method for embedded software systems

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 Q4723288)