[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] New blog series: TLA+ for startups
It’s a very nice example - I went through part 2 with my study group (Worthing UK fwiw) and we tried a few tweaks. The only change I’d suggest is putting the enabling conditions at the beginning of each formula rather than mixed up with the primed terms. I’ve got a feeling that this makes things a bit easier for TLC, and I certainly find it a bit easier to read since I can tell at once whether or not a formula is relevant to in a particular situation.
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/537f91ed-4ffa-4efd-8f41-af4a6f5030d5%40googlegroups.com.