[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Learning TLA+

From: s.triv...@xxxxxxxxx
Date: Thu, 6 Sep 2018 02:42:58 -0700 (PDT)

Hi,


   I am working on a TLA model for distributed algorithm.Can you help me how to get started with tla and test the model.


Thanks,
Triveni

Follow-Ups:
- Re: [tlaplus] Learning TLA+
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] An Issue about the "Add New Spec..." Wizard
Next by Date: Re: [tlaplus] Learning TLA+
Previous by thread: Re: Documentation Lacking for Multivar Set Comprehension
Next by thread: Re: [tlaplus] Learning TLA+
Index(es):
- Date
- Thread