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

Re: [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)

From: Weichung Shaw <weichu...@xxxxxxxxx>
Date: Tue, 28 Jun 2016 17:33:20 -0700 (PDT)
References: <01462cf9-1663-4d6e-a14b-83e1695a35c7@googlegroups.com>

Hello Cheng Huang,

Where may I find the recording for the lecture?

Thanks.

Weichung Shaw

Follow-Ups:
- Re: [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
  - From: Cheng Huang

References:
- [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
  - From: Cheng Huang

Prev by Date: Re: Parsing Error in Consensus.tla
Next by Date: Re: Parsing Error in Consensus.tla
Previous by thread: Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Next by thread: Re: [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Index(es):
- Date
- Thread