swMATH9529MaRDI QIDQ21510FDOQ21510
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html
Cited In (15)
- 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
- TLA
- SNZI
- TLC
- BESERIAL
- PSync
- Horus
- The mailbox problem
This page was built for software: PlusCal
