Implementation and verification of ring termination detection protocols using structured rv-systems

zbMATH Open1265.68099MaRDI QIDQ4902258FDOQ4902258

Authors Cezara Drăgoi, Gh. Ştefănescu

Publication date 14 January 2013

zbMATH Keywords

Hoare logicformal verificationinteractive systemsregisters and voicesring termination detectionstructured rv-systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• On Reasoning About Rings
• Ring based termination detection algorithm for distributed computations
• Distributed termination on a ring
• On Compiling Structured Interactive Programs with Registers and Voices
• Publication:4725762

Cited in

(1)

• On Compiling Structured Interactive Programs with Registers and Voices

This page was built for publication: Implementation and verification of ring termination detection protocols using structured rv-systems

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