PlusCal
From MaRDI portal
Software:21510
No author found.
Related Items (9)
On the diversity of asynchronous communication ⋮ Unnamed Item ⋮ The mailbox problem ⋮ A High-Level Language for Modeling Algorithms and Their Properties ⋮ The assignment problem ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ A modular framework for verifying versatile distributed systems ⋮ The PlusCal Algorithm Language ⋮ Byzantizing Paxos by Refinement
This page was built for software: PlusCal
