Re: [tlaplus] Model network using set or bag

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

https://github.com/microsoft/CCF/blob/main/tla/consensus/Network.tla is what we used in CCF (compare https://www.usenix.org/conference/nsdi25/presentation/howard)

M.

> On Mar 24, 2026, at 9:11 AM, Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
> 
> The tricky part is designing a nice API for this, where you can also optionally turn off message removal/duplication/unordering without having to change any of your TLA+ code that interacts with the network. I actually managed to do this - will need to find the file and publish it.


-- 
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 visit https://groups.google.com/d/msgid/tlaplus/0B1B8847-FFBC-425B-9F91-C4C7E1C4AA26%40lemmster.de.