scientific article; zbMATH DE number 1759747

zbMATH Open0988.68737MaRDI QIDQ4536764FDOQ4536764

Authors: Neelam Soundarajan 

Publication date: 22 July 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

correctness criteriacommunication tracesinteraction refinement

Mathematics Subject Classification ID

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

Cited In (3)

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