Re: [tlaplus] Why Amazon Chose TLA+

Steve Glaser

On Jun 12, 2014, at 12:50 PM, Chris Newcombe <chris.n...@xxxxxxxxx> wrote:

The following paper was presented at ABZ'2014 last week, and is now available in the conference proceedings:

Newcombe, C., Why Amazon Chose TLA+, in Abstract State Machines, Alloy, B, TLA, VDM, and Z Lecture Notes in Computer Science Volume 8477, 2014, pp 25-39;
http://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_3
I'm happy to provide copies privately on request.
The above is a partner to our other paper, "Use of Formal Methods at Amazon Web Services", which is currently available via the TLA+ home page. See earlier post: https://groups.google.com/d/msg/tlaplus/bPlvP1V5hyk/0xPGIrpb7wUJ

regards,
Chris

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.