AW: [tlaplus] Why Amazon Chose TLA+

["Friedrich Vogt" <vo...@xxxxxxx>]

I’d love a copy too!

 

Thanks

 

Fritz

 

 

Von: tla...@xxxxxxxxxxxxxxxx [mailto:tla...@xxxxxxxxxxxxxxxx] Im Auftrag von Chris Newcombe
Gesendet: Donnerstag, 12. Juni 2014 21:50
An: tla...@xxxxxxxxxxxxxxxx
Betreff: [tlaplus] Why Amazon Chose TLA+

 

 

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.

BEGIN:VCARD
VERSION:2.1
N;LANGUAGE=de:Vogt;Friedrich;;Prof. Dr.
FN:Prof. Dr. Friedrich Vogt
ORG:TUHH
TITLE:em. Univ.-Prof.
TEL;WORK;VOICE:+49 4183 972085
TEL;HOME;VOICE:+49 4183 972086
TEL;CELL;VOICE:+49 1774149332
ADR;WORK;PREF:;;Am Schierenberg 5;Bendestorf;;21227;Deutschland
LABEL;WORK;PREF;ENCODING=QUOTED-PRINTABLE:Am Schierenberg 5=0D=0A=
21227 Bendestorf
X-MS-OL-DEFAULT-POSTAL-ADDRESS:2
URL;WORK:http://www.ti5.tuhh.de/staff/vogt/
EMAIL;PREF;I...@xxxxxxx
X-MS-OL-DESIGN;CHARSET=utf-8:<card xmlns="http://schemas.microsoft.com/office/outlook/12/electronicbusinesscards"; ver="1.0" layout="left" bgcolor="ffffff"><img xmlns="" align="fit" area="16" use="cardpicture"/><fld xmlns="" prop="name" align="left" dir="ltr" style="b" color="000000" size="10"/><fld xmlns="" prop="org" align="left" dir="ltr" color="000000" size="8"/><fld xmlns="" prop="title" align="left" dir="ltr" color="000000" size="8"/><fld xmlns="" prop="telwork" align="left" dir="ltr" color="000000" size="8"><label align="right" color="626262">Geschäftlich</label></fld><fld xmlns="" prop="telcell" align="left" dir="ltr" color="000000" size="8"><label align="right" color="626262">Mobiltelefon</label></fld><fld xmlns="" prop="telhome" align="left" dir="ltr" color="000000" size="8"><label align="right" color="626262">Privat</label></fld><fld xmlns="" prop="email" align="left" dir="ltr" color="000000" size="8"/><fld xmlns="" prop="addrwork" align="left" dir="ltr" color="000000" size="8"/><fld xmlns="" prop="webwork" align="left" dir="ltr" color="000000" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/><fld xmlns="" prop="blank" size="8"/></card>
REV:20140613T073355Z
END:VCARD