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

Re: Understanding AsynchInterface

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Thu, 3 Nov 2016 06:59:55 -0700 (PDT)
References: <b124a319-7b2d-4b5c-b266-fe938bb300a4@googlegroups.com>

Please read the last paragraph on page 16 of Specifying Systems.

Leslie

References:
- Understanding AsynchInterface
  - From: Guilherme C

Prev by Date: Re: Understanding AsynchInterface
Next by Date: Re: [tlaplus] Re: Temporal property
Previous by thread: Re: Understanding AsynchInterface
Next by thread: Re: [tlaplus] Understanding AsynchInterface
Index(es):
- Date
- Thread