Matches in SemOpenAlex for { <https://semopenalex.org/work/W75631880> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W75631880 endingPage "84" @default.
- W75631880 startingPage "84" @default.
- W75631880 abstract "AbstractFollowing the approach in UTP, we describe a language of state-rich processes with communication, concurrency, and imperative commands on program variables. We give this language an operational semantics, with states and transitions represented symbolically. The semantics is described in Z, allowing us to execute the semantics using an animator, and to start work on a mechanical proof of correctness using the deep embedding in ProofPowerZ of the existing denotational semantics for the language. An extension of the operational semantics has been used in an algorithm to construct automata as part of the Circus model checker. This is joint work with Ana Cavalcanti and Leonardo Freitas." @default.
- W75631880 created "2016-06-24" @default.
- W75631880 creator A5006626759 @default.
- W75631880 date "2006-01-01" @default.
- W75631880 modified "2023-10-14" @default.
- W75631880 title "An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)" @default.
- W75631880 doi "https://doi.org/10.1007/11768173_5" @default.
- W75631880 hasPublicationYear "2006" @default.
- W75631880 type Work @default.
- W75631880 sameAs 75631880 @default.
- W75631880 citedByCount "0" @default.
- W75631880 crossrefType "book-chapter" @default.
- W75631880 hasAuthorship W75631880A5006626759 @default.
- W75631880 hasConcept C150607116 @default.
- W75631880 hasConcept C156325763 @default.
- W75631880 hasConcept C184337299 @default.
- W75631880 hasConcept C193702766 @default.
- W75631880 hasConcept C199360897 @default.
- W75631880 hasConcept C200065993 @default.
- W75631880 hasConcept C207648694 @default.
- W75631880 hasConcept C2780801425 @default.
- W75631880 hasConcept C41008148 @default.
- W75631880 hasConcept C48859967 @default.
- W75631880 hasConcept C55439883 @default.
- W75631880 hasConcept C80444323 @default.
- W75631880 hasConcept C89497691 @default.
- W75631880 hasConceptScore W75631880C150607116 @default.
- W75631880 hasConceptScore W75631880C156325763 @default.
- W75631880 hasConceptScore W75631880C184337299 @default.
- W75631880 hasConceptScore W75631880C193702766 @default.
- W75631880 hasConceptScore W75631880C199360897 @default.
- W75631880 hasConceptScore W75631880C200065993 @default.
- W75631880 hasConceptScore W75631880C207648694 @default.
- W75631880 hasConceptScore W75631880C2780801425 @default.
- W75631880 hasConceptScore W75631880C41008148 @default.
- W75631880 hasConceptScore W75631880C48859967 @default.
- W75631880 hasConceptScore W75631880C55439883 @default.
- W75631880 hasConceptScore W75631880C80444323 @default.
- W75631880 hasConceptScore W75631880C89497691 @default.
- W75631880 hasLocation W756318801 @default.
- W75631880 hasOpenAccess W75631880 @default.
- W75631880 hasPrimaryLocation W756318801 @default.
- W75631880 hasRelatedWork W1981773325 @default.
- W75631880 hasRelatedWork W2017152877 @default.
- W75631880 hasRelatedWork W2035082615 @default.
- W75631880 hasRelatedWork W2738461706 @default.
- W75631880 hasRelatedWork W3163637575 @default.
- W75631880 hasRelatedWork W75631880 @default.
- W75631880 hasRelatedWork W783270985 @default.
- W75631880 hasRelatedWork W1958334269 @default.
- W75631880 hasRelatedWork W2523902456 @default.
- W75631880 hasRelatedWork W3023595429 @default.
- W75631880 isParatext "false" @default.
- W75631880 isRetracted "false" @default.
- W75631880 magId "75631880" @default.
- W75631880 workType "book-chapter" @default.