[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] Assign tuple to a constant
From
: Affan Qureshi <
affan.qu...@xxxxxxxxx
>
Date
: Thu, 1 Mar 2018 14:02:39 -0800 (PST)
References
: <
5300051c-60e1-4922-9b3d-dddc5538f47b@googlegroups.com
> <
EF455309-4DE3-4969-8236-52A6908CC1AF@gmail.com
> <
c1bea0e6-5399-4184-9d27-79d9facea84e@googlegroups.com
>
Thanks for the help and clarification. I was able to get it to work.
Regards,
Affan
References
:
Assign tuple to a constant
From:
Affan Qureshi
Re: [tlaplus] Assign tuple to a constant
From:
Stephan Merz
Re: [tlaplus] Assign tuple to a constant
From:
Leslie Lamport
Prev by Date:
Re: [tlaplus] Infinite behaviors
Next by Date:
Re: How can I express Next and Until operator in TLA+?
Previous by thread:
Re: [tlaplus] Assign tuple to a constant
Next by thread:
Inconsistent access control policies checking using TLA+
Index(es):
Date
Thread