Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122169710> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2122169710 endingPage "23" @default.
- W2122169710 startingPage "13" @default.
- W2122169710 abstract "We introduce a logic for reasoning about and constructing refinements for µ-Charts, a rational simplification and reconstruction of Statecharts. The method of derivation of the logic is that a semantics for the language is constructed in Z and the existing logic and refinement calculus of Z is then used to induce the logic and refinement calculus of µ-Charts, proceeding by a series of definitions and conservative extensions and hence generating a sound logic for µ-Charts, given that the soundness of the Z logic has already been established." @default.
- W2122169710 created "2016-06-24" @default.
- W2122169710 creator A5044580074 @default.
- W2122169710 creator A5084137497 @default.
- W2122169710 date "2006-01-01" @default.
- W2122169710 modified "2023-09-24" @default.
- W2122169710 title "Logic and refinement for charts" @default.
- W2122169710 cites W1507076083 @default.
- W2122169710 cites W1534005958 @default.
- W2122169710 cites W1561764937 @default.
- W2122169710 cites W1568223061 @default.
- W2122169710 cites W1588335385 @default.
- W2122169710 cites W1604735746 @default.
- W2122169710 cites W1946608631 @default.
- W2122169710 cites W2008639791 @default.
- W2122169710 cites W2026470291 @default.
- W2122169710 cites W2099529102 @default.
- W2122169710 cites W2103953153 @default.
- W2122169710 cites W2144973245 @default.
- W2122169710 cites W2171222484 @default.
- W2122169710 cites W1207450239 @default.
- W2122169710 hasPublicationYear "2006" @default.
- W2122169710 type Work @default.
- W2122169710 sameAs 2122169710 @default.
- W2122169710 citedByCount "0" @default.
- W2122169710 crossrefType "journal-article" @default.
- W2122169710 hasAuthorship W2122169710A5044580074 @default.
- W2122169710 hasAuthorship W2122169710A5084137497 @default.
- W2122169710 hasConcept C101874905 @default.
- W2122169710 hasConcept C102993220 @default.
- W2122169710 hasConcept C11413529 @default.
- W2122169710 hasConcept C119599485 @default.
- W2122169710 hasConcept C127413603 @default.
- W2122169710 hasConcept C128838566 @default.
- W2122169710 hasConcept C165801399 @default.
- W2122169710 hasConcept C169896238 @default.
- W2122169710 hasConcept C172385210 @default.
- W2122169710 hasConcept C19689857 @default.
- W2122169710 hasConcept C199343813 @default.
- W2122169710 hasConcept C199360897 @default.
- W2122169710 hasConcept C2777686260 @default.
- W2122169710 hasConcept C2777796570 @default.
- W2122169710 hasConcept C39920170 @default.
- W2122169710 hasConcept C41008148 @default.
- W2122169710 hasConcept C71924100 @default.
- W2122169710 hasConcept C80444323 @default.
- W2122169710 hasConcept C90483712 @default.
- W2122169710 hasConceptScore W2122169710C101874905 @default.
- W2122169710 hasConceptScore W2122169710C102993220 @default.
- W2122169710 hasConceptScore W2122169710C11413529 @default.
- W2122169710 hasConceptScore W2122169710C119599485 @default.
- W2122169710 hasConceptScore W2122169710C127413603 @default.
- W2122169710 hasConceptScore W2122169710C128838566 @default.
- W2122169710 hasConceptScore W2122169710C165801399 @default.
- W2122169710 hasConceptScore W2122169710C169896238 @default.
- W2122169710 hasConceptScore W2122169710C172385210 @default.
- W2122169710 hasConceptScore W2122169710C19689857 @default.
- W2122169710 hasConceptScore W2122169710C199343813 @default.
- W2122169710 hasConceptScore W2122169710C199360897 @default.
- W2122169710 hasConceptScore W2122169710C2777686260 @default.
- W2122169710 hasConceptScore W2122169710C2777796570 @default.
- W2122169710 hasConceptScore W2122169710C39920170 @default.
- W2122169710 hasConceptScore W2122169710C41008148 @default.
- W2122169710 hasConceptScore W2122169710C71924100 @default.
- W2122169710 hasConceptScore W2122169710C80444323 @default.
- W2122169710 hasConceptScore W2122169710C90483712 @default.
- W2122169710 hasLocation W21221697101 @default.
- W2122169710 hasOpenAccess W2122169710 @default.
- W2122169710 hasPrimaryLocation W21221697101 @default.
- W2122169710 hasRelatedWork W1494240257 @default.
- W2122169710 hasRelatedWork W1520778375 @default.
- W2122169710 hasRelatedWork W1552209967 @default.
- W2122169710 hasRelatedWork W1588335385 @default.
- W2122169710 hasRelatedWork W1769163133 @default.
- W2122169710 hasRelatedWork W1773299862 @default.
- W2122169710 hasRelatedWork W1811327378 @default.
- W2122169710 hasRelatedWork W1938739028 @default.
- W2122169710 hasRelatedWork W19702292 @default.
- W2122169710 hasRelatedWork W1994971948 @default.
- W2122169710 hasRelatedWork W2001049101 @default.
- W2122169710 hasRelatedWork W2024473767 @default.
- W2122169710 hasRelatedWork W2048035648 @default.
- W2122169710 hasRelatedWork W2055211179 @default.
- W2122169710 hasRelatedWork W2112648098 @default.
- W2122169710 hasRelatedWork W2119186694 @default.
- W2122169710 hasRelatedWork W2177239325 @default.
- W2122169710 hasRelatedWork W2583750720 @default.
- W2122169710 hasRelatedWork W596998252 @default.
- W2122169710 hasRelatedWork W831508239 @default.
- W2122169710 isParatext "false" @default.
- W2122169710 isRetracted "false" @default.
- W2122169710 magId "2122169710" @default.
- W2122169710 workType "article" @default.