scientific article; zbMATH DE number 1759747

zbMATH Open0988.68737MaRDI QIDQ4536764FDOQ4536764

Neelam Soundarajan

Publication date: 22 July 2002

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

zbMATH Keywords

correctness criteriacommunication tracesinteraction refinement

Mathematics Subject Classification ID

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

Cited In (2)

• Reaching and Distinguishing States of Distributed Systems
• Stepwise refinement of communicating systems

   Recommendations

• Stepwise refinement of communicating systems 👍 👎
• Refinement of Structured Interactive Systems 👍 👎
• Compositional refinement of interactive systems 👍 👎
• Data refinement of remote procedures 👍 👎
• Title not available (Why is that?) 👍 👎

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)