Concepedia

Tla Plus

TLA Plus is a formal specification language that belongs to the class of mathematical modeling tools for concurrent and distributed systems, distinguished by its use of temporal logic of actions (TLA) to precisely describe system behaviors and verify correctness properties.

41

Publications

1.7K

Citations

151

Authors

87

Institutions

Publications per year

2017–2026

12

Parents

Publications

41

How Amazon web services uses formal methods

Chris Newcombe, Tim Rath, Fan Zhang et al. · Communications of the ACM · 2015 · 327 citations

, , +7

Teacher Language Awareness

Stephen Andrews · ELT Journal · 2007 · 189 citations

, , +17

Insufficient Leaflet Remodeling in Patients With Atrial Fibrillation

Nobuyuki Kagiyama, Akihiro Hayashida, Misako Toki et al. · Circulation Cardiovascular Imaging · 2017 · 120 citations

, , +14

Potential of used frying oil in paving material: solution to environmental pollution problem

Dimple Singh-Ackbarali, Rean Maharaj, Nazim Mohamed et al. · Environmental Science and Pollution Research · 2017 · 74 citations · Full text

, , +15

ISOANTIGENS OF THE <i>H-2</i> AND <i>Tla</i> LOCI OF THE MOUSE

Edward A. Boyse, Elisabeth Stockert, Lloyd J. Old · The Journal of Experimental Medicine · 1968 · 62 citations · Full text

, , +11

1–5 of 41

Authors

151

  1. LL
    Leslie Lamport

    Digital Wave (United States), United States

    5 publications · 184 citations

    5

    h-index

  2. MF
    María Fernanda García Bustos

    National University of Salta, Argentina

    2 publications · 30 citations

    2

    h-index

  3. EA
    Eduardo A. Scodeller

    Consejo Nacional de Investigaciones Científicas y Técnicas, Argentina

    2 publications · 30 citations

    2

    h-index

  4. MR
    Mark R. Tuttle

    Intel (United States), United States

    2 publications · 86 citations

    2

    h-index

  5. DE
    Diego Esteban Cargnelutti

    Consejo Nacional de Investigaciones Científicas y Técnicas, Argentina

    2 publications · 30 citations

    2

    h-index

1–5 of 151

Institutions

87

  1. Microsoft (United States)

    Redmond, United States

    3 h-index

    5 publications

    207 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    5 publications

    148 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    64 citations

  4. Oracle (United States)

    Austin, United States

    2 h-index

    2 publications

    365 citations

  5. East China Normal University

    Shanghai, China

    2 h-index

    3 publications

    46 citations

  6. Universidad Nacional de Cuyo

    Mendoza, Argentina

    2 h-index

    5 publications

    74 citations

  7. Computer Algorithms for Medicine

    Graz, Austria

    2 h-index

    2 publications

    60 citations

  8. Instituto de Medicina y Biología Experimental de Cuyo

    Mendoza, Argentina

    2 h-index

    8 publications

    120 citations

1–8 of 87

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 64 citations

    2

    h-index

  2. Formal Methods in System Design

    1 publications · 56 citations

    1

    h-index

  3. Journal of Computer Science and Technology

    1 publications · 15 citations

    1

    h-index

  4. Korean Journal of Parasitology

    1 publications · 31 citations

    1

    h-index

  5. Medicine & Science in Sports & Exercise

    MSSE · 1 publications · 59 citations

    1

    h-index

1–5