ResearchGate

Your download will start shortly...

Discover the world's research

Join ResearchGate to find the people and research you need to help your work.

25+ million members
160+ million publication pages
2.3+ billion citations

Downloading Fig 2 from "Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool".

Problems downloading this figure? Download directly

.no-javascript-warning { border: 1px solid #FAC8AF; background-color: #FADECF; margin: 0; padding: 10px 15px; text-align: center; position: fixed; bottom: 0; left: 0; right: 0; z-index: 10; } .no-javascript-warning__message { padding: 10px; }

For full functionality of ResearchGate it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.