Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015688007> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2015688007 endingPage "923" @default.
- W2015688007 startingPage "872" @default.
- W2015688007 abstract "The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication. TLA is very simple; its syntax and complete formal semantics are summarized in about a page. Yet, TLA is not just a logician's toy; it is extremely powerful, both in principle and in practice. This report introduces TLA and describes how it is used to specify and verify concurrent algorithms. The use of TLA to specify and reason about open systems will be described elsewhere." @default.
- W2015688007 created "2016-06-24" @default.
- W2015688007 creator A5040623453 @default.
- W2015688007 date "1994-05-01" @default.
- W2015688007 modified "2023-10-14" @default.
- W2015688007 title "The temporal logic of actions" @default.
- W2015688007 cites W1481018260 @default.
- W2015688007 cites W1506588809 @default.
- W2015688007 cites W1992581109 @default.
- W2015688007 cites W1994350081 @default.
- W2015688007 cites W2039853888 @default.
- W2015688007 cites W2061438988 @default.
- W2015688007 cites W2072062729 @default.
- W2015688007 cites W2086070079 @default.
- W2015688007 cites W2103444363 @default.
- W2015688007 cites W2111619838 @default.
- W2015688007 cites W2132107743 @default.
- W2015688007 cites W2132334337 @default.
- W2015688007 cites W2144738461 @default.
- W2015688007 cites W2157118812 @default.
- W2015688007 cites W2914206182 @default.
- W2015688007 cites W2987907651 @default.
- W2015688007 cites W4241481410 @default.
- W2015688007 doi "https://doi.org/10.1145/177492.177726" @default.
- W2015688007 hasPublicationYear "1994" @default.
- W2015688007 type Work @default.
- W2015688007 sameAs 2015688007 @default.
- W2015688007 citedByCount "1535" @default.
- W2015688007 countsByYear W20156880072012 @default.
- W2015688007 countsByYear W20156880072013 @default.
- W2015688007 countsByYear W20156880072014 @default.
- W2015688007 countsByYear W20156880072015 @default.
- W2015688007 countsByYear W20156880072016 @default.
- W2015688007 countsByYear W20156880072017 @default.
- W2015688007 countsByYear W20156880072018 @default.
- W2015688007 countsByYear W20156880072019 @default.
- W2015688007 countsByYear W20156880072020 @default.
- W2015688007 countsByYear W20156880072021 @default.
- W2015688007 countsByYear W20156880072022 @default.
- W2015688007 countsByYear W20156880072023 @default.
- W2015688007 crossrefType "journal-article" @default.
- W2015688007 hasAuthorship W2015688007A5040623453 @default.
- W2015688007 hasBestOaLocation W20156880071 @default.
- W2015688007 hasConcept C11648818 @default.
- W2015688007 hasConcept C154945302 @default.
- W2015688007 hasConcept C162670838 @default.
- W2015688007 hasConcept C184337299 @default.
- W2015688007 hasConcept C199360897 @default.
- W2015688007 hasConcept C25016198 @default.
- W2015688007 hasConcept C40422974 @default.
- W2015688007 hasConcept C41008148 @default.
- W2015688007 hasConcept C4777664 @default.
- W2015688007 hasConcept C60048249 @default.
- W2015688007 hasConcept C80444323 @default.
- W2015688007 hasConceptScore W2015688007C11648818 @default.
- W2015688007 hasConceptScore W2015688007C154945302 @default.
- W2015688007 hasConceptScore W2015688007C162670838 @default.
- W2015688007 hasConceptScore W2015688007C184337299 @default.
- W2015688007 hasConceptScore W2015688007C199360897 @default.
- W2015688007 hasConceptScore W2015688007C25016198 @default.
- W2015688007 hasConceptScore W2015688007C40422974 @default.
- W2015688007 hasConceptScore W2015688007C41008148 @default.
- W2015688007 hasConceptScore W2015688007C4777664 @default.
- W2015688007 hasConceptScore W2015688007C60048249 @default.
- W2015688007 hasConceptScore W2015688007C80444323 @default.
- W2015688007 hasIssue "3" @default.
- W2015688007 hasLocation W20156880071 @default.
- W2015688007 hasOpenAccess W2015688007 @default.
- W2015688007 hasPrimaryLocation W20156880071 @default.
- W2015688007 hasRelatedWork W1031601050 @default.
- W2015688007 hasRelatedWork W118671747 @default.
- W2015688007 hasRelatedWork W1497559908 @default.
- W2015688007 hasRelatedWork W1515452107 @default.
- W2015688007 hasRelatedWork W1518987834 @default.
- W2015688007 hasRelatedWork W2015688007 @default.
- W2015688007 hasRelatedWork W2076889468 @default.
- W2015688007 hasRelatedWork W2099776859 @default.
- W2015688007 hasRelatedWork W2117107687 @default.
- W2015688007 hasRelatedWork W3005864166 @default.
- W2015688007 hasVolume "16" @default.
- W2015688007 isParatext "false" @default.
- W2015688007 isRetracted "false" @default.
- W2015688007 magId "2015688007" @default.
- W2015688007 workType "article" @default.