Cited in
(15)- scientific article; zbMATH DE number 7453977 (Why is no real title available?)
- A high-level language for modeling algorithms and their properties
- The PlusCal Algorithm Language
- The assignment problem
- TLA
- SNZI
- TLC
- BESERIAL
- PSync
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- Horus
- The mailbox problem
- On the diversity of asynchronous communication
- A modular framework for verifying versatile distributed systems
- Byzantizing Paxos by refinement
This page was built for software: PlusCal
