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

TLA+ and pluscal BNF grammars

From: Nasser Ali <ios...@xxxxxxxxx>
Date: Mon, 17 Oct 2016 01:18:23 -0700 (PDT)

Hi, 
Can anyone kindly help me to find TLA+ and PlusCal BNF grammars? I need it in my research. 

thanks in advance

Follow-Ups:
- Re: TLA+ and pluscal BNF grammars
  - From: Leslie Lamport

Prev by Date: Re: TLA+ community event 2016
Next by Date: Re: TLA+ and pluscal BNF grammars
Previous by thread: Re: Idiomatically verifying state does not change
Next by thread: Re: TLA+ and pluscal BNF grammars
Index(es):
- Date
- Thread