Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q28955120)
Watch
English
TLA+
programming language
TLA⁺
In more languages
edit
Statements
instance of
programming language
0 references
inception
23 April 1999
1 reference
reference URL
https://www.microsoft.com/en-us/research/publication/specifying-concurrent-systems-tla/
participant in
Google Summer of Code 2018
0 references
based on
temporal logic of actions
0 references
programming paradigm
action language
1 reference
imported from Wikimedia project
English Wikipedia
designed by
Leslie Lamport
1 reference
imported from Wikimedia project
English Wikipedia
official website
https://lamport.azurewebsites.net/tla/tla.html
1 reference
imported from Wikimedia project
English Wikipedia
copyright license
MIT License
1 reference
imported from Wikimedia project
English Wikipedia
copyright status
copyrighted
0 references
Identifiers
Freebase ID
/m/0134r96j
0 references
GitHub username
tlaplus
0 references
Sitelinks
Wikipedia
(5 entries)
edit
enwiki
TLA+
frwiki
TLA+
jawiki
TLA+
ruwiki
TLA⁺
ukwiki
TLA+
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit