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

[tlaplus] Action A can only be followed by Action B

From: Chris Ortiz <zitroomega@xxxxxxxxx>
Date: Mon, 29 Jan 2024 13:40:55 -0800 (PST)

Hello TLA+ Group,

How would you express a property that Action A can only be followed by Action B?

Thanks,

Zitro

--
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/13aa72e0-3bc7-404b-8b9a-9f0e6d1ff219n%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: Action A can only be followed by Action B
  - From: Chris Ortiz

Prev by Date: RE: [tlaplus] Re: Draft of New TLA Book
Next by Date: [tlaplus] Re: Action A can only be followed by Action B
Previous by thread: Re: [tlaplus] A \/ B
Next by thread: [tlaplus] Re: Action A can only be followed by Action B
Index(es):
- Date
- Thread