tla-analysis-of-blocking-queue.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width,initial-scale=1">
    <meta name="author" content="Rohan Deshpande">
    <meta name="title" content="A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue">
    <meta name="description" content="Personal website of Rohan Deshpande with articles and links">
    <title>A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue &raquo; Rohan Deshpande | rohand.com</title>
    <style>
        .skip-link {
            position: absolute;
            top: -40px;
            left: 0;
            padding: 8px;
            z-index: 100;
        }
        .skip-link:focus {
            top: 0;
        }
        a:focus, button:focus {
            outline: 2px solid #0066cc;
        }
    </style>
</head>
<body>
    <a href="#main-content" class="skip-link">Skip to main content</a>
    <header role="banner">
        <a href="index.html" aria-label="Home page">home</a>
        <a href="to-github.html" aria-label="GitHub profile">github</a>
        <a href="to-twitter.html" aria-label="Twitter profile">twitter</a>
        <a href="to-linkedin.html" aria-label="LinkedIn profile">linkedin</a>
        <a href="inbox.html" aria-label="Inbox page">inbox</a>
        [<a target="_blank" rel="noopener noreferrer" href="https://github.com/appwiz/appwiz.github.io/edit/main/tla-analysis-of-blocking-queue.html" aria-label="Edit this page on GitHub"><small>edit page</small></a>]
        <hr />
    </header>
    <section id="main-content" role="main">
        <article>
            <h1>A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue</h1>
            <p><em>Original article is at <a target="_blank" rel="noopener noreferrer" href="https://github.com/lemmy/blockingqueue" aria-label="A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (opens in new window)">A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue</a></em></p>
            <blockquote>
                <p></p>
            </blockquote>
        </article>
    </section>
    <footer role="contentinfo">
        <hr />
        <p>&copy; 2005-2025 Rohan Deshpande. All rights reserved. Licensed under <a target="_blank" rel="noopener noreferrer" href="to-cc.html" aria-label="Creative Commons BY-ND 4.0 license">CC BY-ND 4.0</a>.</p>
    </footer>
</body>
</html>