Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,885,902 papers from all fields of science
Search
Sign In
Create Free Account
PlusCal
PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Action language
Distributed computing
Imperative programming
Lamport's bakery algorithm
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Avoiding Register Overflow in the Bakery Algorithm
A. Abdi
,
M. Sharifi
ICPP Workshops
2020
Corpus ID: 220364415
Computer systems are designed to make resources available to users and users may be interested in some resources more than others…
Expand
2019
2019
Compiling distributed system specifications into implementations
R. Costa
2019
Corpus ID: 145909606
Distributed systems are notoriously difficult to get right: the inherently asynchronous nature of their execution gives rise to a…
Expand
2018
2018
Invariants in Distributed Algorithms ∗
Yanhong A. Liu
,
S. Stoller
,
Saksham Chand
,
Xuetian Weng
2018
Corpus ID: 52106497
We will discuss making invariants explicit in specification of distributed algorithms. Clearly this helps prove properties of…
Expand
2018
2018
Operators and Functions
H. Wayne
2018
Corpus ID: 125633424
In this chapter, we will introduce TLA+ proper and use it to write more powerful specs with complex invariants. We’ve already…
Expand
2017
2017
PGo : Corresponding a high-level formal specification with its implementation
Brandon Zhang
2017
Corpus ID: 3579175
Distributed systems are difficult to design and implement correctly. There is a growing interest in specification languages for…
Expand
2014
2014
Playing with state-based models for designing better algorithms
D. Méry
Future generations computer systems
2014
Corpus ID: 888971
2014
2014
Model and Data Engineering
Lucile Sautot
,
S. Bimonte
,
L. Journaux
,
B. Faivre
Lecture Notes in Computer Science
2014
Corpus ID: 36834222
Data Warehouses (DWs) are large repositories of data aimed at supporting the decision-making process by enabling flexible and…
Expand
2014
2014
Model and Data Engineering
T. Kanade
Lecture Notes in Computer Science
2014
Corpus ID: 2533178
Distributed algorithms are present in our daily life and we depend on the correct functioning of complex distributed computing…
Expand
2010
2010
Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
Sabina Akhtar
,
Stephan Merz
,
M. Quinson
2010
Corpus ID: 57881405
The design of correct concurrent and distributed algorithms is notoriously difficult, and they are prone to errors such as…
Expand
2009
2009
INTERNSHIP SUBJECT PROPOSAL
2009
Corpus ID: 13935814
Distributed algorithms are known for being tedious to design and assess. Since they are based on the interaction of several…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE