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

*From*: joandrade@xxxxxxxxx*Date*: Fri, 28 May 2021 15:23:41 -0300*Ironport-hdrordr*: A9a23:H8JUAKxyIl/Jru1DYxuZKrPwN71zdoMgy1knxilNoHtuEvBw9vrOoB1173XJYVoqKRMdcLO7VpVoP0mslqKdiLN5VdyftWLd1FdAQrsO0WKv+VLdJxE=*References*: <b36a24e7-f78c-4983-a776-16d56a09fd64n@googlegroups.com> <773cd524-608c-4b8d-8735-aaba45583df6n@googlegroups.com> <a1067e851cd095295bd84c3f7c6b3ab4daa47cc6.camel@gmail.com> <e4fc0073-07f4-4fed-b3d6-8a30d75fd9b8n@googlegroups.com> <045f1f3a-4951-452c-a3bc-48738e4d2e6cn@googlegroups.com> <CAM3xQxEHrw0GdeubSZiJdfZ9DR+Ty4q30rt+DJaXpSUTeFMsGA@mail.gmail.com>*User-agent*: Evolution 3.36.4-0ubuntu1

Hi Isaac, Thank you immensely for your help. You were very kind of you to take the time to explain the problem to me. Really appreciate it. Regards, Jefferson Andrade. On Thu, 2021-05-27 at 19:45 -0600, Isaac DeFrain wrote: -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/cd866a16eea2d15b2a265b5e3309ea23bdbaa790.camel%40gmail.com. |

**References**:**[tlaplus] Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Jefferson Andrade

**[tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Andrew Helwer

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*joandrade

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Leslie Lamport

**Re: [tlaplus] Re: Doing arithmetic with current state value and next state value of a variable in TLA+***From:*Leslie Lamport

*From:*Isaac DeFrain

- Prev by Date:
- Next by Date:
- Previous by thread:
- Next by thread:
- Index(es):