Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520581430> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1520581430 endingPage "177" @default.
- W1520581430 startingPage "163" @default.
- W1520581430 abstract "Often when modelling systems, physical constraints on the resources available are needed. For example, we might say that at most N processes can access a particular resource at any moment or exactly M participants are needed for an agreement. Such situations are concisely modelled where propositions are constrained such that at most N, or exactly M, can hold at any moment in time. This paper describes both the logical basis and a verification method for propositional linear time temporal logics which allow such constraints as input. The method incorporates ideas developed earlier for a resolution method for the temporal logic TLX and a tableaux-like procedure for PTL. The complexity of this procedure is discussed and case studies are examined. The logic itself represents a combination of standard temporal logic with classical constraints restricting the numbers of propositions that can be satisfied at any moment in time." @default.
- W1520581430 created "2016-06-24" @default.
- W1520581430 creator A5001487424 @default.
- W1520581430 creator A5013515770 @default.
- W1520581430 creator A5032067568 @default.
- W1520581430 date "2007-08-22" @default.
- W1520581430 modified "2023-09-26" @default.
- W1520581430 title "Temporal Logic with Capacity Constraints" @default.
- W1520581430 cites W1492929237 @default.
- W1520581430 cites W1493373428 @default.
- W1520581430 cites W1506588809 @default.
- W1520581430 cites W1516806823 @default.
- W1520581430 cites W1525642073 @default.
- W1520581430 cites W159012016 @default.
- W1520581430 cites W1972509146 @default.
- W1520581430 cites W2026379532 @default.
- W1520581430 cites W2065380071 @default.
- W1520581430 cites W2131225255 @default.
- W1520581430 cites W2133874828 @default.
- W1520581430 cites W2157319504 @default.
- W1520581430 cites W2158651374 @default.
- W1520581430 cites W3143201 @default.
- W1520581430 doi "https://doi.org/10.1007/978-3-540-74621-8_11" @default.
- W1520581430 hasPublicationYear "2007" @default.
- W1520581430 type Work @default.
- W1520581430 sameAs 1520581430 @default.
- W1520581430 citedByCount "12" @default.
- W1520581430 countsByYear W15205814302012 @default.
- W1520581430 countsByYear W15205814302015 @default.
- W1520581430 countsByYear W15205814302017 @default.
- W1520581430 countsByYear W15205814302018 @default.
- W1520581430 countsByYear W15205814302020 @default.
- W1520581430 crossrefType "book-chapter" @default.
- W1520581430 hasAuthorship W1520581430A5001487424 @default.
- W1520581430 hasAuthorship W1520581430A5013515770 @default.
- W1520581430 hasAuthorship W1520581430A5032067568 @default.
- W1520581430 hasBestOaLocation W15205814302 @default.
- W1520581430 hasConcept C11413529 @default.
- W1520581430 hasConcept C121332964 @default.
- W1520581430 hasConcept C138268822 @default.
- W1520581430 hasConcept C154945302 @default.
- W1520581430 hasConcept C162670838 @default.
- W1520581430 hasConcept C179254644 @default.
- W1520581430 hasConcept C199360897 @default.
- W1520581430 hasConcept C25016198 @default.
- W1520581430 hasConcept C41008148 @default.
- W1520581430 hasConcept C4777664 @default.
- W1520581430 hasConcept C69562738 @default.
- W1520581430 hasConcept C74650414 @default.
- W1520581430 hasConcept C80444323 @default.
- W1520581430 hasConceptScore W1520581430C11413529 @default.
- W1520581430 hasConceptScore W1520581430C121332964 @default.
- W1520581430 hasConceptScore W1520581430C138268822 @default.
- W1520581430 hasConceptScore W1520581430C154945302 @default.
- W1520581430 hasConceptScore W1520581430C162670838 @default.
- W1520581430 hasConceptScore W1520581430C179254644 @default.
- W1520581430 hasConceptScore W1520581430C199360897 @default.
- W1520581430 hasConceptScore W1520581430C25016198 @default.
- W1520581430 hasConceptScore W1520581430C41008148 @default.
- W1520581430 hasConceptScore W1520581430C4777664 @default.
- W1520581430 hasConceptScore W1520581430C69562738 @default.
- W1520581430 hasConceptScore W1520581430C74650414 @default.
- W1520581430 hasConceptScore W1520581430C80444323 @default.
- W1520581430 hasLocation W15205814301 @default.
- W1520581430 hasLocation W15205814302 @default.
- W1520581430 hasOpenAccess W1520581430 @default.
- W1520581430 hasPrimaryLocation W15205814301 @default.
- W1520581430 hasRelatedWork W1523903952 @default.
- W1520581430 hasRelatedWork W1525642073 @default.
- W1520581430 hasRelatedWork W1572612329 @default.
- W1520581430 hasRelatedWork W1849580669 @default.
- W1520581430 hasRelatedWork W19117456 @default.
- W1520581430 hasRelatedWork W2110468917 @default.
- W1520581430 hasRelatedWork W2152223820 @default.
- W1520581430 hasRelatedWork W2560930356 @default.
- W1520581430 hasRelatedWork W2931443989 @default.
- W1520581430 hasRelatedWork W55334476 @default.
- W1520581430 isParatext "false" @default.
- W1520581430 isRetracted "false" @default.
- W1520581430 magId "1520581430" @default.
- W1520581430 workType "book-chapter" @default.