LTWlanguages & frameworks ltw://languages
Sponsor
LTW
Sponsor
  1. Home
  2. Languages
  3. TLA+
Language

TLA+

Programming language

1999Appeared

Facts

Appeared
1999
Paradigms
action language
Designed by
Leslie Lamport
Based on
temporal logic of actions

Sources: Wikidata (CC0) · Wikidata Q28955120