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

Re: Why Amazon Chose TLA+

From: yinyi...@xxxxxxxxx
Date: Mon, 9 Nov 2015 02:12:34 -0800 (PST)
References: <cddbf9f3-6170-4d26-abdc-e8b85afae629@googlegroups.com>

Hi Chris, 

I would like a copy of the paper please. 

Thanks, 
yinyin

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

Prev by Date: Re: Using tlatext to typeset TLA+ Module that contain PlusCal specification
Next by Date: Instantiated module and "Successor state is not completely specified"
Previous by thread: Re: Why Amazon Chose TLA+
Next by thread: Re: Why Amazon Chose TLA+
Index(es):
- Date
- Thread