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

[tlaplus] Q about the Alternating Bit Protocol example

I'm looking at the Alternating Bit Protocol implementation" in Fig 14.1b of Specifying Systems and have a couple of questions:

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/9efaf26c-d79d-42af-a2c7-f8d60b980527%40googlegroups.com.