Matches in SemOpenAlex for { <https://semopenalex.org/work/W2232359105> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2232359105 abstract "We present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal mu-calculus. The proof system is compositional in the structure of processes. It extends earlier work on compositional reasoning within the modal mu-calculus and combines it with techniques from work on local model checking. The proof system is sound for all processes and complete for a class of finite-state processes." @default.
- W2232359105 created "2016-06-24" @default.
- W2232359105 creator A5023108558 @default.
- W2232359105 creator A5056586469 @default.
- W2232359105 creator A5062948122 @default.
- W2232359105 date "1994-10-31" @default.
- W2232359105 modified "2023-10-14" @default.
- W2232359105 title "A Compositional Proof System for the Modal mu-Calculus" @default.
- W2232359105 cites W1490526406 @default.
- W2232359105 cites W1503973138 @default.
- W2232359105 cites W1517509361 @default.
- W2232359105 cites W1520238628 @default.
- W2232359105 cites W1524750318 @default.
- W2232359105 cites W1576490998 @default.
- W2232359105 cites W1613680257 @default.
- W2232359105 cites W1662239198 @default.
- W2232359105 cites W1992582873 @default.
- W2232359105 cites W2001587236 @default.
- W2232359105 cites W2036996017 @default.
- W2232359105 cites W2057260173 @default.
- W2232359105 cites W2154439735 @default.
- W2232359105 cites W2171536993 @default.
- W2232359105 cites W2176705267 @default.
- W2232359105 cites W2756011084 @default.
- W2232359105 cites W2913316578 @default.
- W2232359105 cites W42134522 @default.
- W2232359105 doi "https://doi.org/10.7146/brics.v1i34.21609" @default.
- W2232359105 hasPublicationYear "1994" @default.
- W2232359105 type Work @default.
- W2232359105 sameAs 2232359105 @default.
- W2232359105 citedByCount "34" @default.
- W2232359105 countsByYear W22323591052012 @default.
- W2232359105 countsByYear W22323591052016 @default.
- W2232359105 countsByYear W22323591052018 @default.
- W2232359105 countsByYear W22323591052019 @default.
- W2232359105 crossrefType "journal-article" @default.
- W2232359105 hasAuthorship W2232359105A5023108558 @default.
- W2232359105 hasAuthorship W2232359105A5056586469 @default.
- W2232359105 hasAuthorship W2232359105A5062948122 @default.
- W2232359105 hasBestOaLocation W22323591051 @default.
- W2232359105 hasConcept C108710211 @default.
- W2232359105 hasConcept C136119220 @default.
- W2232359105 hasConcept C154945302 @default.
- W2232359105 hasConcept C161771561 @default.
- W2232359105 hasConcept C185592680 @default.
- W2232359105 hasConcept C188027245 @default.
- W2232359105 hasConcept C195653647 @default.
- W2232359105 hasConcept C199343813 @default.
- W2232359105 hasConcept C199360897 @default.
- W2232359105 hasConcept C202444582 @default.
- W2232359105 hasConcept C2318724 @default.
- W2232359105 hasConcept C2524010 @default.
- W2232359105 hasConcept C27508121 @default.
- W2232359105 hasConcept C2777212361 @default.
- W2232359105 hasConcept C2777686260 @default.
- W2232359105 hasConcept C33923547 @default.
- W2232359105 hasConcept C41008148 @default.
- W2232359105 hasConcept C71139939 @default.
- W2232359105 hasConcept C71924100 @default.
- W2232359105 hasConceptScore W2232359105C108710211 @default.
- W2232359105 hasConceptScore W2232359105C136119220 @default.
- W2232359105 hasConceptScore W2232359105C154945302 @default.
- W2232359105 hasConceptScore W2232359105C161771561 @default.
- W2232359105 hasConceptScore W2232359105C185592680 @default.
- W2232359105 hasConceptScore W2232359105C188027245 @default.
- W2232359105 hasConceptScore W2232359105C195653647 @default.
- W2232359105 hasConceptScore W2232359105C199343813 @default.
- W2232359105 hasConceptScore W2232359105C199360897 @default.
- W2232359105 hasConceptScore W2232359105C202444582 @default.
- W2232359105 hasConceptScore W2232359105C2318724 @default.
- W2232359105 hasConceptScore W2232359105C2524010 @default.
- W2232359105 hasConceptScore W2232359105C27508121 @default.
- W2232359105 hasConceptScore W2232359105C2777212361 @default.
- W2232359105 hasConceptScore W2232359105C2777686260 @default.
- W2232359105 hasConceptScore W2232359105C33923547 @default.
- W2232359105 hasConceptScore W2232359105C41008148 @default.
- W2232359105 hasConceptScore W2232359105C71139939 @default.
- W2232359105 hasConceptScore W2232359105C71924100 @default.
- W2232359105 hasIssue "34" @default.
- W2232359105 hasLocation W22323591051 @default.
- W2232359105 hasOpenAccess W2232359105 @default.
- W2232359105 hasPrimaryLocation W22323591051 @default.
- W2232359105 hasRelatedWork W1033924769 @default.
- W2232359105 hasRelatedWork W1587326414 @default.
- W2232359105 hasRelatedWork W1984813408 @default.
- W2232359105 hasRelatedWork W2123105015 @default.
- W2232359105 hasRelatedWork W2232359105 @default.
- W2232359105 hasRelatedWork W2263480042 @default.
- W2232359105 hasRelatedWork W2578542555 @default.
- W2232359105 hasRelatedWork W3125861214 @default.
- W2232359105 hasRelatedWork W4231469737 @default.
- W2232359105 hasRelatedWork W4242709714 @default.
- W2232359105 hasVolume "1" @default.
- W2232359105 isParatext "false" @default.
- W2232359105 isRetracted "false" @default.
- W2232359105 magId "2232359105" @default.
- W2232359105 workType "article" @default.