Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000261666> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2000261666 endingPage "122" @default.
- W2000261666 startingPage "109" @default.
- W2000261666 abstract "To provide a logic for reasoning about concurrently executing programs, Abrahamson has defined an extension of propositional dynamic logic (PDL) by allowing interleaving as an operator for combining programs, in addition to the regular PDL operators union, concatenation, and star. We show that the satisfiability problem for interleaving PDL is complete for deterministic double-exponential time, and that this problem requires time double-exponential in cnlog n for some positive constant c. Moreover, this lower bound holds even when restricted to formulas where each program appearing in the formula has the form a1¦a2¦ … ¦ak where ¦ denotes the interleaving operator and where a1, …, ak are regular programs, i.e., programs built from atomic programs using only the regular operators. Another consequence of the method used to prove this result is that the equivalence problem for regular expressions with interleaving requires space 2cnlog n and that this lower bound holds even to decide whether (E1¦E2¦ … ¦Ek) ∪ F ≡ ∑∗ where E1, …, Ek, F are ordinary regular expressions; this improves a previous result of the authors. Moreover, the same lower bound holds for the containment problem for expressions of the form E1¦E2¦ … ¦Ek." @default.
- W2000261666 created "2016-06-24" @default.
- W2000261666 creator A5005354721 @default.
- W2000261666 creator A5052607926 @default.
- W2000261666 date "1996-07-01" @default.
- W2000261666 modified "2023-09-26" @default.
- W2000261666 title "The complexity of PDL with interleaving" @default.
- W2000261666 cites W1997716585 @default.
- W2000261666 cites W2001388124 @default.
- W2000261666 cites W2036157680 @default.
- W2000261666 cites W2059396299 @default.
- W2000261666 cites W2061488881 @default.
- W2000261666 cites W2066064214 @default.
- W2000261666 cites W2069709605 @default.
- W2000261666 cites W4241108585 @default.
- W2000261666 doi "https://doi.org/10.1016/0304-3975(95)00095-x" @default.
- W2000261666 hasPublicationYear "1996" @default.
- W2000261666 type Work @default.
- W2000261666 sameAs 2000261666 @default.
- W2000261666 citedByCount "18" @default.
- W2000261666 countsByYear W20002616662014 @default.
- W2000261666 countsByYear W20002616662015 @default.
- W2000261666 countsByYear W20002616662016 @default.
- W2000261666 countsByYear W20002616662018 @default.
- W2000261666 countsByYear W20002616662019 @default.
- W2000261666 countsByYear W20002616662020 @default.
- W2000261666 countsByYear W20002616662021 @default.
- W2000261666 crossrefType "journal-article" @default.
- W2000261666 hasAuthorship W2000261666A5005354721 @default.
- W2000261666 hasAuthorship W2000261666A5052607926 @default.
- W2000261666 hasBestOaLocation W20002616661 @default.
- W2000261666 hasConcept C111919701 @default.
- W2000261666 hasConcept C114614502 @default.
- W2000261666 hasConcept C118615104 @default.
- W2000261666 hasConcept C121329065 @default.
- W2000261666 hasConcept C134306372 @default.
- W2000261666 hasConcept C168773769 @default.
- W2000261666 hasConcept C199360897 @default.
- W2000261666 hasConcept C2778029271 @default.
- W2000261666 hasConcept C2780069185 @default.
- W2000261666 hasConcept C28034677 @default.
- W2000261666 hasConcept C33923547 @default.
- W2000261666 hasConcept C41008148 @default.
- W2000261666 hasConcept C77553402 @default.
- W2000261666 hasConcept C87619178 @default.
- W2000261666 hasConceptScore W2000261666C111919701 @default.
- W2000261666 hasConceptScore W2000261666C114614502 @default.
- W2000261666 hasConceptScore W2000261666C118615104 @default.
- W2000261666 hasConceptScore W2000261666C121329065 @default.
- W2000261666 hasConceptScore W2000261666C134306372 @default.
- W2000261666 hasConceptScore W2000261666C168773769 @default.
- W2000261666 hasConceptScore W2000261666C199360897 @default.
- W2000261666 hasConceptScore W2000261666C2778029271 @default.
- W2000261666 hasConceptScore W2000261666C2780069185 @default.
- W2000261666 hasConceptScore W2000261666C28034677 @default.
- W2000261666 hasConceptScore W2000261666C33923547 @default.
- W2000261666 hasConceptScore W2000261666C41008148 @default.
- W2000261666 hasConceptScore W2000261666C77553402 @default.
- W2000261666 hasConceptScore W2000261666C87619178 @default.
- W2000261666 hasIssue "1-2" @default.
- W2000261666 hasLocation W20002616661 @default.
- W2000261666 hasOpenAccess W2000261666 @default.
- W2000261666 hasPrimaryLocation W20002616661 @default.
- W2000261666 hasRelatedWork W2000261666 @default.
- W2000261666 hasRelatedWork W2045502027 @default.
- W2000261666 hasRelatedWork W2061488881 @default.
- W2000261666 hasRelatedWork W2069997585 @default.
- W2000261666 hasRelatedWork W2913798541 @default.
- W2000261666 hasRelatedWork W2952654623 @default.
- W2000261666 hasRelatedWork W2963726605 @default.
- W2000261666 hasRelatedWork W3076532779 @default.
- W2000261666 hasRelatedWork W4302076808 @default.
- W2000261666 hasRelatedWork W811645096 @default.
- W2000261666 hasVolume "161" @default.
- W2000261666 isParatext "false" @default.
- W2000261666 isRetracted "false" @default.
- W2000261666 magId "2000261666" @default.
- W2000261666 workType "article" @default.