I’d also like a copy when you get the chance. Thanks, Chris.--On Wed, Feb 17, 2021 at 12:09 PM Matthew Liu <matthewliu@xxxxxxxx> wrote:I would like a copy of this paper too.Thank you,Matt--On Thursday, June 12, 2014 at 12:50:21 PM UTC-7 Chris Newcombe 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_3I'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/0xPGIrpb7wUJregards,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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/858f07da-3c19-4b8b-9e33-d98aaf2de6cfn%40googlegroups.com.
--Isaac DeFrain
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAM3xQxEevJN6EO7PEczBerLh-gtt_2694vQUFc8-g7dnFUjqrg%40mail.gmail.com.