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

Re: [Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)

From: Cheng Huang <cheng...@xxxxxxxxx>
Date: Wed, 7 Sep 2016 14:28:38 -0700 (PDT)
References: <4e22062f-152c-4dad-ac7e-7823c4f9633e@googlegroups.com>

video & slides are now available:

References:
- [Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)
  - From: Cheng Huang

Prev by Date: Re: [tlaplus] C0 and TLAPLUS
Next by Date: Re: TLA+ community event 2016
Previous by thread: [Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)
Next by thread: Curious oddity
Index(es):
- Date
- Thread