Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087075535> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2087075535 endingPage "335" @default.
- W2087075535 startingPage "289" @default.
- W2087075535 abstract "Statecharts is a behavioural specification language proposed for specifying large real-time, event-driven reactive systems. It is a graphical language based on state-transition diagrams for finite state machines extended with many features like hierarchy, concurrency, broadcast communication and time-out. We supply Statecharts with a compositional axiomatization for both safety and liveness properties. By generating external events symbolically, Statecharts can be executed, thereby turning it into a programming language for real-time concurrency (as well as enabling rapid prototyping). As such it is well suited for compositional program verification. In addition to our compositional axiomatic system, we give a denotational semantics and prove that the axiomatization is sound and relatively complete with respect to this semantics." @default.
- W2087075535 created "2016-06-24" @default.
- W2087075535 creator A5000911479 @default.
- W2087075535 creator A5081333705 @default.
- W2087075535 creator A5091169985 @default.
- W2087075535 date "1992-07-01" @default.
- W2087075535 modified "2023-10-16" @default.
- W2087075535 title "A compositional axiomatization of Statecharts" @default.
- W2087075535 cites W1977621687 @default.
- W2087075535 cites W2035845010 @default.
- W2087075535 cites W2038952689 @default.
- W2087075535 cites W2047351509 @default.
- W2087075535 cites W2064650227 @default.
- W2087075535 cites W2076494576 @default.
- W2087075535 cites W2090551028 @default.
- W2087075535 cites W2096039823 @default.
- W2087075535 cites W2099529102 @default.
- W2087075535 cites W2127380267 @default.
- W2087075535 doi "https://doi.org/10.1016/0304-3975(92)90053-i" @default.
- W2087075535 hasPublicationYear "1992" @default.
- W2087075535 type Work @default.
- W2087075535 sameAs 2087075535 @default.
- W2087075535 citedByCount "50" @default.
- W2087075535 countsByYear W20870755352014 @default.
- W2087075535 countsByYear W20870755352021 @default.
- W2087075535 countsByYear W20870755352022 @default.
- W2087075535 crossrefType "journal-article" @default.
- W2087075535 hasAuthorship W2087075535A5000911479 @default.
- W2087075535 hasAuthorship W2087075535A5081333705 @default.
- W2087075535 hasAuthorship W2087075535A5091169985 @default.
- W2087075535 hasBestOaLocation W20870755351 @default.
- W2087075535 hasConcept C15569618 @default.
- W2087075535 hasConcept C156325763 @default.
- W2087075535 hasConcept C16671368 @default.
- W2087075535 hasConcept C167729594 @default.
- W2087075535 hasConcept C184337299 @default.
- W2087075535 hasConcept C193702766 @default.
- W2087075535 hasConcept C199360897 @default.
- W2087075535 hasConcept C207648694 @default.
- W2087075535 hasConcept C2524010 @default.
- W2087075535 hasConcept C2779167558 @default.
- W2087075535 hasConcept C33923547 @default.
- W2087075535 hasConcept C41008148 @default.
- W2087075535 hasConcept C48103436 @default.
- W2087075535 hasConcept C80444323 @default.
- W2087075535 hasConceptScore W2087075535C15569618 @default.
- W2087075535 hasConceptScore W2087075535C156325763 @default.
- W2087075535 hasConceptScore W2087075535C16671368 @default.
- W2087075535 hasConceptScore W2087075535C167729594 @default.
- W2087075535 hasConceptScore W2087075535C184337299 @default.
- W2087075535 hasConceptScore W2087075535C193702766 @default.
- W2087075535 hasConceptScore W2087075535C199360897 @default.
- W2087075535 hasConceptScore W2087075535C207648694 @default.
- W2087075535 hasConceptScore W2087075535C2524010 @default.
- W2087075535 hasConceptScore W2087075535C2779167558 @default.
- W2087075535 hasConceptScore W2087075535C33923547 @default.
- W2087075535 hasConceptScore W2087075535C41008148 @default.
- W2087075535 hasConceptScore W2087075535C48103436 @default.
- W2087075535 hasConceptScore W2087075535C80444323 @default.
- W2087075535 hasIssue "2" @default.
- W2087075535 hasLocation W20870755351 @default.
- W2087075535 hasOpenAccess W2087075535 @default.
- W2087075535 hasPrimaryLocation W20870755351 @default.
- W2087075535 hasRelatedWork W2056977125 @default.
- W2087075535 hasRelatedWork W2087075535 @default.
- W2087075535 hasRelatedWork W2097828479 @default.
- W2087075535 hasRelatedWork W2149952006 @default.
- W2087075535 hasRelatedWork W2364990290 @default.
- W2087075535 hasRelatedWork W2569614957 @default.
- W2087075535 hasRelatedWork W3004745453 @default.
- W2087075535 hasRelatedWork W4287870994 @default.
- W2087075535 hasRelatedWork W75631880 @default.
- W2087075535 hasRelatedWork W1958334269 @default.
- W2087075535 hasVolume "101" @default.
- W2087075535 isParatext "false" @default.
- W2087075535 isRetracted "false" @default.
- W2087075535 magId "2087075535" @default.
- W2087075535 workType "article" @default.