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

Re: Request for a TLA+ Example Involving Graph Objects

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Fri, 31 Aug 2018 08:02:35 -0700 (PDT)
References: <3569897a-9cfe-415d-8c1d-2f8a8101a70b@googlegroups.com>

I'm curious. What does it mean that "edges from the same node are ordered by their labels."

References:
- Request for a TLA+ Example Involving Graph Objects
  - From: Hengfeng Wei

Prev by Date: Request for a TLA+ Example Involving Graph Objects
Next by Date: Re: [tlaplus] Request for a TLA+ Example Involving Graph Objects
Previous by thread: Request for a TLA+ Example Involving Graph Objects
Next by thread: Re: [tlaplus] Request for a TLA+ Example Involving Graph Objects
Index(es):
- Date
- Thread