PlusCal

swMATH9529MaRDI QIDQ21510FDOQ21510

Author name not available (Why is that?)

Cited In (9)

• Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
• The PlusCal Algorithm Language
• A modular framework for verifying versatile distributed systems
• Title not available (Why is that?)
• Byzantizing Paxos by Refinement
• On the diversity of asynchronous communication
• The assignment problem
• A High-Level Language for Modeling Algorithms and Their Properties
• The mailbox problem

This page was built for software: PlusCal