Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
However, for example, Lesslie Lamport elegantly modeled distributed transactions without introducing the concepts of events or messages, focusing only on the state of the participants.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- Suggestions for model checking?
- Beginner Question on Model Checking
- Why is the IDE telling me my actions will never be enabled? How should a mutable array of booleans be represented?
- Generate (message) sequence diagrams from TLA+ state traces
- Where do I find examples of informal specs (RFCs) AND their formal versions (in TLA+ ideally) ?