The following pages link to PlusCal (Q21510):
Displaying 9 items.
- On the diversity of asynchronous communication (Q315311) (← links)
- The mailbox problem (Q661002) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- The assignment problem (Q2232588) (← links)
- A High-Level Language for Modeling Algorithms and Their Properties (Q2999308) (← links)
- Byzantizing Paxos by Refinement (Q3095328) (← links)
- The PlusCal Algorithm Language (Q3393398) (← links)
- (Q5019299) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
