PlusCal

swMATH9529MaRDI QIDQ21510FDOQ21510

Author name not available (Why is that?)

Cited In (9)

• The PlusCal Algorithm Language
• Byzantizing Paxos by refinement
• A high-level language for modeling algorithms and their properties
• A modular framework for verifying versatile distributed systems
• Title not available (Why is that?)
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• On the diversity of asynchronous communication
• The assignment problem
• The mailbox problem

This page was built for software: PlusCal