TLA+ (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "TLA+" in English language version.

refsWebsite

Global rank English rank

16microsoft.com

153^rd place

151^st place

7doi.org

2^nd place

3semanticscholar.org

11^th place

8^th place

2inria.fr

4,903^rd place

3,679^th place

1codeplex.com

low place

1wired.com

193^rd place

152^nd place

1worldcat.org

5^th place

1vimeo.com

1,015^th place

717^th place

1harvard.edu

18^th place

17^th place

1msdn.com

3,029^th place

2,272^nd place

1techcrunch.com

187^th place

146^th place

1youtube.com

9^th place

13^th place

codeplex.com

tlaplus.codeplex.com

"Tlaplus Tools - License". CodePlex. Microsoft, Compaq. 8 April 2013. Retrieved 10 May 2015.^{[permanent dead link]} https://tlaplus.codeplex.com/license^{[permanent dead link]}

doi.org

Lamport, Leslie (2012). "How to Write a 21st Century Proof" (PDF). Journal of Fixed Point Theory and Applications. 11: 43–63. doi:10.1007/s11784-012-0071-6. ISSN 1661-7738. S2CID 121557270. Retrieved 23 May 2015.
Øhrstrøm, Peter; Hasle, Per (1995). "3.7 Temporal Logic and Computer Science". Temporal Logic: From Ancient Ideas to Artificial Intelligence. Studies in Linguistics and Philosophy. Vol. 57. Springer Netherlands. pp. 344–365. doi:10.1007/978-0-585-37463-5. ISBN 978-0-7923-3586-3.
Yu, Yuan; Manolios, Panagiotis; Lamport, Leslie (1999). "Model Checking TLA⁺ Specifications". Correct Hardware Design and Verification Methods (PDF). Lecture Notes in Computer Science. Vol. 1703. Springer-Verlag. pp. 54–66. doi:10.1007/3-540-48153-2_6. ISBN 978-3-540-66559-5. Retrieved 14 May 2015.
Lamport, Leslie (2 January 2009). "The PlusCal Algorithm Language" (PDF). Theoretical Aspects of Computing - ICTAC 2009. Lecture Notes in Computer Science. Vol. 5684. Springer Berlin Heidelberg. pp. 36–60. doi:10.1007/978-3-642-03466-4_2. ISBN 978-3-642-03465-7. Retrieved 10 May 2015.
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán (1 January 2012). "TLA⁺ Proofs". FM 2012: Formal Methods (PDF). Lecture Notes in Computer Science. Vol. 7436. Springer Berlin Heidelberg. pp. 147–154. doi:10.1007/978-3-642-32759-9_14. ISBN 978-3-642-32758-2. S2CID 5243433. Retrieved 14 May 2015.
Koutanov, Emil (12 July 2021). "Spire: A Cooperative, Phase-Symmetric Solution to Distributed Consensus". IEEE Access. 9. IEEE: 101702–101717. Bibcode:2021IEEEA...9j1702K. doi:10.1109/ACCESS.2021.3096326. S2CID 236480167.
Chris, Newcombe (2014). "Why Amazon Chose TLA⁺". Abstract State Machines, Alloy, B, TLA, VDM, and Z. Lecture Notes in Computer Science. Vol. 8477. Springer Berlin Heidelberg. pp. 25–39. doi:10.1007/978-3-662-43652-3_3. ISBN 978-3-662-43651-6.

harvard.edu

ui.adsabs.harvard.edu

Koutanov, Emil (12 July 2021). "Spire: A Cooperative, Phase-Symmetric Solution to Distributed Consensus". IEEE Access. 9. IEEE: 101702–101717. Bibcode:2021IEEEA...9j1702K. doi:10.1109/ACCESS.2021.3096326. S2CID 236480167.

inria.fr

tla.msr-inria.inria.fr

"Unsupported TLAPS features". TLA⁺ Proof System. Microsoft Research - INRIA Joint Centre. Retrieved 14 May 2015.
TLA⁺ Proof System

microsoft.com

research.microsoft.com

Lamport, Leslie (January 2000). Specifying Concurrent Systems with TLA⁺ (PDF). NATO Science Series, III: Computer and Systems Sciences. Vol. 173. Amsterdam: IOS Press. pp. 183–247. ISBN 978-90-5199-459-9. Retrieved 22 May 2015.
Lamport, Leslie (15 January 2014). "TLA⁺²: A Preliminary Guide" (PDF). Retrieved 2 May 2015.
Newcombe, Chris; Rath, Tim; Zhang, Fan; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael (29 September 2014). "Use of Formal Methods at Amazon Web Services" (PDF). Amazon. Retrieved 8 May 2015.
Lamport, Leslie (18 June 2002). "7.1 Why Specify". Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers. Addison-Wesley. p. 75. ISBN 978-0-321-14306-8. Having to describe a design precisely often reveals problems - subtle interactions and "corner cases" that are easily overlooked.
Lamport, Leslie (2012). "How to Write a 21st Century Proof" (PDF). Journal of Fixed Point Theory and Applications. 11: 43–63. doi:10.1007/s11784-012-0071-6. ISSN 1661-7738. S2CID 121557270. Retrieved 23 May 2015.
Lamport, Leslie. "The Writings of Leslie Lamport: Proving the Correctness of Multiprocess Programs". Retrieved 22 May 2015.
Lamport, Leslie. "The Writings of Leslie Lamport: On-the-fly Garbage Collection: an Exercise in Cooperation". Retrieved 22 May 2015.
Lamport, Leslie. "The Writings of Leslie Lamport: 'Sometime' is Sometimes 'Not Never'". Retrieved 22 May 2015.
Lamport, Leslie. "The Writings of Leslie Lamport: Specifying Concurrent Programming Modules". Retrieved 22 May 2015.
Lamport, Leslie. "The Writings of Leslie Lamport: The Temporal Logic of Actions". Retrieved 22 May 2015.
Yu, Yuan; Manolios, Panagiotis; Lamport, Leslie (1999). "Model Checking TLA⁺ Specifications". Correct Hardware Design and Verification Methods (PDF). Lecture Notes in Computer Science. Vol. 1703. Springer-Verlag. pp. 54–66. doi:10.1007/3-540-48153-2_6. ISBN 978-3-540-66559-5. Retrieved 14 May 2015.
Lamport, Leslie (18 June 2002). Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 978-0-321-14306-8.
Lamport, Leslie (2 January 2009). "The PlusCal Algorithm Language" (PDF). Theoretical Aspects of Computing - ICTAC 2009. Lecture Notes in Computer Science. Vol. 5684. Springer Berlin Heidelberg. pp. 36–60. doi:10.1007/978-3-642-03466-4_2. ISBN 978-3-642-03465-7. Retrieved 10 May 2015.
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán (1 January 2012). "TLA⁺ Proofs". FM 2012: Formal Methods (PDF). Lecture Notes in Computer Science. Vol. 7436. Springer Berlin Heidelberg. pp. 147–154. doi:10.1007/978-3-642-32759-9_14. ISBN 978-3-642-32758-2. S2CID 5243433. Retrieved 14 May 2015.
Lamport, Leslie (18 June 2002). "8.9.2 Machine Closure". Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers. Addison-Wesley. p. 112. ISBN 978-0-321-14306-8. We seldom want to write a specification that isn't machine closed. If we do write one, it's usually by mistake.
Lamport, Leslie (18 June 2002). "8.9.6 Temporal Logic Considered Confusing". Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers. Addison-Wesley. p. 116. ISBN 978-0-321-14306-8. Indeed, [most engineers] can get along quite well with specifications of the form (8.38) that express only safety properties and don't hide any variables.

msdn.com

channel9.msdn.com

Leslie Lamport (3 April 2014). Thinking for Programmers (at 21m46s) (Recording of technical talk). San Francisco: Microsoft. Retrieved 14 May 2015.

semanticscholar.org

api.semanticscholar.org

Lamport, Leslie (2012). "How to Write a 21st Century Proof" (PDF). Journal of Fixed Point Theory and Applications. 11: 43–63. doi:10.1007/s11784-012-0071-6. ISSN 1661-7738. S2CID 121557270. Retrieved 23 May 2015.
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán (1 January 2012). "TLA⁺ Proofs". FM 2012: Formal Methods (PDF). Lecture Notes in Computer Science. Vol. 7436. Springer Berlin Heidelberg. pp. 147–154. doi:10.1007/978-3-642-32759-9_14. ISBN 978-3-642-32758-2. S2CID 5243433. Retrieved 14 May 2015.
Koutanov, Emil (12 July 2021). "Spire: A Cooperative, Phase-Symmetric Solution to Distributed Consensus". IEEE Access. 9. IEEE: 101702–101717. Bibcode:2021IEEEA...9j1702K. doi:10.1109/ACCESS.2021.3096326. S2CID 236480167.

techcrunch.com

Lardinois, Frederic (10 May 2017). "With Cosmos DB, Microsoft wants to build one database to rule them all". TechCrunch. Retrieved 10 May 2017.

vimeo.com

Markus A. Kuppe (3 June 2014). Distributed TLC (Recording of technical talk). TLA⁺ Community Event 2014, Toulouse, France.{{cite AV media}}: CS1 maint: location (link)

wired.com

Lamport, Leslie (25 January 2013). "Why We Should Build Software Like We Build Houses". Wired. Retrieved 7 May 2015.

worldcat.org

Lamport, Leslie (2012). "How to Write a 21st Century Proof" (PDF). Journal of Fixed Point Theory and Applications. 11: 43–63. doi:10.1007/s11784-012-0071-6. ISSN 1661-7738. S2CID 121557270. Retrieved 23 May 2015.

youtube.com

Leslie Lamport (10 May 2017). Foundations of Azure Cosmos DB with Dr. Leslie Lamport (Recording of interview). Microsoft Azure. Retrieved 10 May 2017.