Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Temporal_logic_of_actions> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Temporal_logic_of_actions abstract "Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.".
- Temporal_logic_of_actions wikiPageExternalLink SRC-TN-1994-001.pdf.
- Temporal_logic_of_actions wikiPageExternalLink 3-642.
- Temporal_logic_of_actions wikiPageExternalLink tla.html.
- Temporal_logic_of_actions wikiPageExternalLink Home.html.
- Temporal_logic_of_actions wikiPageID "2214113".
- Temporal_logic_of_actions wikiPageLength "2071".
- Temporal_logic_of_actions wikiPageOutDegree "10".
- Temporal_logic_of_actions wikiPageRevisionID "662355707".
- Temporal_logic_of_actions wikiPageWikiLink Build_(developer_conference).
- Temporal_logic_of_actions wikiPageWikiLink Category:Concurrency_(computer_science).
- Temporal_logic_of_actions wikiPageWikiLink Category:Temporal_logic.
- Temporal_logic_of_actions wikiPageWikiLink Concurrency_(computer_science).
- Temporal_logic_of_actions wikiPageWikiLink Leslie_Lamport.
- Temporal_logic_of_actions wikiPageWikiLink Logic_of_action.
- Temporal_logic_of_actions wikiPageWikiLink PlusCal.
- Temporal_logic_of_actions wikiPageWikiLink TLA+.
- Temporal_logic_of_actions wikiPageWikiLink Temporal_logic.
- Temporal_logic_of_actions wikiPageWikiLinkText "TLA".
- Temporal_logic_of_actions wikiPageWikiLinkText "TLA+".
- Temporal_logic_of_actions wikiPageWikiLinkText "Temporal logic of actions".
- Temporal_logic_of_actions wikiPageWikiLinkText "temporal logic of actions".
- Temporal_logic_of_actions hasPhotoCollection Temporal_logic_of_actions.
- Temporal_logic_of_actions wikiPageUsesTemplate Template:Citation.
- Temporal_logic_of_actions wikiPageUsesTemplate Template:Cite_book.
- Temporal_logic_of_actions wikiPageUsesTemplate Template:Formalmethods-stub.
- Temporal_logic_of_actions wikiPageUsesTemplate Template:No_footnotes.
- Temporal_logic_of_actions subject Category:Concurrency_(computer_science).
- Temporal_logic_of_actions subject Category:Temporal_logic.
- Temporal_logic_of_actions hypernym Logic.
- Temporal_logic_of_actions type Area.
- Temporal_logic_of_actions type Article.
- Temporal_logic_of_actions type Language.
- Temporal_logic_of_actions type Area.
- Temporal_logic_of_actions type Article.
- Temporal_logic_of_actions type Language.
- Temporal_logic_of_actions type Method.
- Temporal_logic_of_actions comment "Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.".
- Temporal_logic_of_actions label "Temporal logic of actions".
- Temporal_logic_of_actions sameAs Temporale_Logik_der_Aktionen.
- Temporal_logic_of_actions sameAs TLA+.
- Temporal_logic_of_actions sameAs Lógica_temporal_de_ações.
- Temporal_logic_of_actions sameAs m.06wgjf.
- Temporal_logic_of_actions sameAs TLA⁺.
- Temporal_logic_of_actions sameAs Q2403081.
- Temporal_logic_of_actions sameAs Q2403081.
- Temporal_logic_of_actions sameAs 行为时序逻辑.
- Temporal_logic_of_actions wasDerivedFrom Temporal_logic_of_actions?oldid=662355707.
- Temporal_logic_of_actions homepage tla.html.
- Temporal_logic_of_actions isPrimaryTopicOf Temporal_logic_of_actions.