| 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
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2411 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
