Skip to search formSkip to main contentSkip to account menu

PlusCal

PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Computer systems are designed to make resources available to users and users may be interested in some resources more than others… 
2019
2019
Distributed systems are notoriously difficult to get right: the inherently asynchronous nature of their execution gives rise to a… 
2018
2018
We will discuss making invariants explicit in specification of distributed algorithms. Clearly this helps prove properties of… 
2018
2018
In this chapter, we will introduce TLA+ proper and use it to write more powerful specs with complex invariants. We’ve already… 
2017
2017
Distributed systems are difficult to design and implement correctly. There is a growing interest in specification languages for… 
2014
2014
Data Warehouses (DWs) are large repositories of data aimed at supporting the decision-making process by enabling flexible and… 
2014
2014
Distributed algorithms are present in our daily life and we depend on the correct functioning of complex distributed computing… 
2010
2010
The design of correct concurrent and distributed algorithms is notoriously difficult, and they are prone to errors such as… 
2009
2009
  • 2009
  • Corpus ID: 13935814
Distributed algorithms are known for being tedious to design and assess. Since they are based on the interaction of several…