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

Re: Why Amazon Chose TLA+

From: Nikola Kasev <nikola...@xxxxxxxxx>
Date: Sat, 6 Jan 2018 03:35:33 -0800 (PST)
References: <cddbf9f3-6170-4d26-abdc-e8b85afae629@googlegroups.com>

Hello Chris,

If you're still reading this topic, I'd like a copy of your paper too.

Best regards,
- Nikola

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

Prev by Date: Re: [tlaplus] Re: Is TLA+ still useful if your implementation language is a purely functional one, like Haskell?
Next by Date: Re: A revolution
Previous by thread: Re: Why Amazon Chose TLA+
Next by thread: Re: Why Amazon Chose TLA+
Index(es):
- Date
- Thread