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

tla+ to pluscal?

From: anjana....@xxxxxxxxx
Date: Thu, 11 Oct 2018 04:13:42 -0700 (PDT)

Hi,
I'm completely new to tla+.Is there are any way to convert tla spec in to pluscal? This would make it easier for programmers to understand a spec.

Regards,
Anjana

Follow-Ups:
- Re: [tlaplus] tla+ to pluscal?
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Beginner question about arrays
Next by Date: Re: [tlaplus] tla+ to pluscal?
Previous by thread: Re: [tlaplus] Beginner question about arrays
Next by thread: Re: [tlaplus] tla+ to pluscal?
Index(es):
- Date
- Thread