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

Re: Why Amazon Chose TLA+

From: ste...@xxxxxxxxxxxxxx
Date: Sun, 15 Oct 2017 10:55:38 -0700 (PDT)
References: <cddbf9f3-6170-4d26-abdc-e8b85afae629@googlegroups.com>

Hi Chris,

I'd love a copy of this paper too. 

Kind regards, 

Steven
steven[at]altheatec.com

Follow-Ups:
- Re: Why Amazon Chose TLA+
  - From: Pedro Paiva

References:
- Why Amazon Chose TLA+
  - From: Chris Newcombe

Prev by Date: Re: [tlaplus] Re: Why Amazon Chose TLA+
Next by Date: Re: Analysis: Runway, a new formal specification system
Previous by thread: Re: Why Amazon Chose TLA+
Next by thread: Re: Why Amazon Chose TLA+
Index(es):
- Date
- Thread