scientific article; zbMATH DE number 1759747

MaRDI QIDQ4536764zbMATH OpenFDO

Authors Neelam Soundarajan

Publication date 22 July 2002

zbMATH Keywords

communication tracescorrectness criteriainteraction refinement

Mathematics Subject Classification ID

Distributed systems (68M14) Computing methodologies and applications (68U99)

Recommendations

• Stepwise refinement of communicating systems
• Refinement of structured interactive systems
• Compositional refinement of interactive systems
• Data refinement of remote procedures
• scientific article; zbMATH DE number 1487745

Cited in

(3)

• Stepwise refinement of communicating systems
• Refinement of structured interactive systems
• Reaching and Distinguishing States of Distributed 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 Q4536764)