PlusCal

MaRDI QIDQ21510swMATHFDO

Official website http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html

Cited in

(15)

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

This page was built for software: PlusCal