dbo:abstract |
Die Temporale Logik der Aktionen (TLA) (engl. temporal logic of actions) wurde von Leslie Lamport entwickelt. Sie baut zum einen auf der Temporalen Logik (engl. temporal logic) und zum anderen auf der Logik der Aktionen (engl. logic of actions) auf, ist folglich im Ansatz eine Verknüpfung einer Erweiterung der Aussagenlogik durch die Temporale Logik mit der Sprache Logik der Aktionen, in der sich Prädikate, Zustandsfunktionen und Aktionen beschreiben lassen. Es handelt sich um eine Variante der von Amir Pnueli eingeführten temporalen Logik für Programme. Die Temporale Logik der Aktionen wird in der Informatik zur Spezifikation, Argumentation und Verifikation von Systemen (z. B. Programmen) verwendet. Eine Spezifikation in TLA ist eine logische Formel, die jedes mögliche und korrekte Verhalten eines Systems beschreibt. Anhand dieser logischen Formel können Systeme auf unerwünschte und gewünschte Eigenschaften geprüft werden. (de) Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a .It is used to describe behaviours of concurrent and distributed systems. It is the logic underlying the specification language TLA+. (en) Lógica temporal de ações (LTA) é uma lógica desenvolvida por Leslie Lamport, que combina a Lógica temporal com a lógica de ações. É usada para descrever comportamentos de sistemas concorrentes. (pt) 行为时序逻辑(英語:The Temporal Logic of Actions)是由莱斯利·兰伯特(Leslie Lamport)发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学,程序验证。 (zh) |
dbo:wikiPageExternalLink |
http://channel9.msdn.com/Events/Build/2014/3-642 https://tla.msr-inria.inria.fr/tlaps/content/Home.html https://www.hpl.hp.com/techreports/Compaq-DEC/SRC-TN-1994-001.pdf http://research.microsoft.com/users/lamport/tla/book.html%7Caccessdate=2007-02-02 http://research.microsoft.com/users/lamport/tla/tla.html |
dbo:wikiPageID |
2214113 (xsd:integer) |
dbo:wikiPageLength |
2411 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1118536173 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:Dynamic_logic_(modal_logic) dbr:Concurrency_(computer_science) dbr:Leslie_Lamport dbr:Build_(developer_conference) dbr:Distributed_computing dbr:Temporal_logic dbc:Concurrency_(computer_science) dbr:TLA+ dbc:Temporal_logic dbr:INRIA dbr:PlusCal dbr:Logic_of_action |
dbp:wikiPageUsesTemplate |
dbt:Citation dbt:Cite_book dbt:Cite_web dbt:No_footnotes dbt:Short_description dbt:Formalmethods-stub |
dct:subject |
dbc:Concurrency_(computer_science) dbc:Temporal_logic |
gold:hypernym |
dbr:Logic |
rdfs:comment |
Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a .It is used to describe behaviours of concurrent and distributed systems. It is the logic underlying the specification language TLA+. (en) Lógica temporal de ações (LTA) é uma lógica desenvolvida por Leslie Lamport, que combina a Lógica temporal com a lógica de ações. É usada para descrever comportamentos de sistemas concorrentes. (pt) 行为时序逻辑(英語:The Temporal Logic of Actions)是由莱斯利·兰伯特(Leslie Lamport)发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学,程序验证。 (zh) Die Temporale Logik der Aktionen (TLA) (engl. temporal logic of actions) wurde von Leslie Lamport entwickelt. Sie baut zum einen auf der Temporalen Logik (engl. temporal logic) und zum anderen auf der Logik der Aktionen (engl. logic of actions) auf, ist folglich im Ansatz eine Verknüpfung einer Erweiterung der Aussagenlogik durch die Temporale Logik mit der Sprache Logik der Aktionen, in der sich Prädikate, Zustandsfunktionen und Aktionen beschreiben lassen. Es handelt sich um eine Variante der von Amir Pnueli eingeführten temporalen Logik für Programme. (de) |
rdfs:label |
Temporale Logik der Aktionen (de) Temporal logic of actions (en) Lógica temporal de ações (pt) 行为时序逻辑 (zh) |
owl:sameAs |
freebase:Temporal logic of actions yago-res:Temporal logic of actions wikidata:Temporal logic of actions dbpedia-de:Temporal logic of actions dbpedia-pt:Temporal logic of actions dbpedia-zh:Temporal logic of actions https://global.dbpedia.org/id/2GRGR |
prov:wasDerivedFrom |
wikipedia-en:Temporal_logic_of_actions?oldid=1118536173&ns=0 |
foaf:isPrimaryTopicOf |
wikipedia-en:Temporal_logic_of_actions |
is dbo:knownFor of |
dbr:Leslie_Lamport |
is dbo:wikiPageDisambiguates of |
dbr:TLA |
is dbo:wikiPageRedirects of |
dbr:Temporal_Logic_of_Actions |
is dbo:wikiPageWikiLink of |
dbr:Duration_calculus dbr:Dynamic_logic_(modal_logic) dbr:Interval_temporal_logic dbr:List_of_model_checking_tools dbr:Concurrent_computing dbr:Concurrency_(computer_science) dbr:Leslie_Lamport dbr:TLA dbr:Temporal_logic dbr:TLA+ dbr:OpenComRTOS dbr:Temporal_Logic_of_Actions |
is foaf:primaryTopic of |
wikipedia-en:Temporal_logic_of_actions |