Matches in SemOpenAlex for { <https://semopenalex.org/work/W152092257> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W152092257 abstract "Relational theories of refinement using simulations exist based on total and on partial relations, modelling partial and total correctness. In order to model partialities such as non-termination and deadlock, domains of relations are often extended with, or assumed to include, a ``bottom'' value bot. This paper explores a number of such theories, all providing sound and jointly complete notions of simulations, concentrating on the role of bot." @default.
- W152092257 created "2016-06-24" @default.
- W152092257 creator A5059470549 @default.
- W152092257 creator A5067720385 @default.
- W152092257 date "2003-05-01" @default.
- W152092257 modified "2023-09-27" @default.
- W152092257 title "Getting to the Bottom of Relational Refinement: Relations and Correctness, Partial and Total" @default.
- W152092257 hasPublicationYear "2003" @default.
- W152092257 type Work @default.
- W152092257 sameAs 152092257 @default.
- W152092257 citedByCount "3" @default.
- W152092257 crossrefType "journal-article" @default.
- W152092257 hasAuthorship W152092257A5059470549 @default.
- W152092257 hasAuthorship W152092257A5067720385 @default.
- W152092257 hasConcept C10138342 @default.
- W152092257 hasConcept C11413529 @default.
- W152092257 hasConcept C119857082 @default.
- W152092257 hasConcept C159023740 @default.
- W152092257 hasConcept C162324750 @default.
- W152092257 hasConcept C182306322 @default.
- W152092257 hasConcept C199360897 @default.
- W152092257 hasConcept C2776291640 @default.
- W152092257 hasConcept C41008148 @default.
- W152092257 hasConcept C55439883 @default.
- W152092257 hasConcept C80444323 @default.
- W152092257 hasConceptScore W152092257C10138342 @default.
- W152092257 hasConceptScore W152092257C11413529 @default.
- W152092257 hasConceptScore W152092257C119857082 @default.
- W152092257 hasConceptScore W152092257C159023740 @default.
- W152092257 hasConceptScore W152092257C162324750 @default.
- W152092257 hasConceptScore W152092257C182306322 @default.
- W152092257 hasConceptScore W152092257C199360897 @default.
- W152092257 hasConceptScore W152092257C2776291640 @default.
- W152092257 hasConceptScore W152092257C41008148 @default.
- W152092257 hasConceptScore W152092257C55439883 @default.
- W152092257 hasConceptScore W152092257C80444323 @default.
- W152092257 hasLocation W1520922571 @default.
- W152092257 hasOpenAccess W152092257 @default.
- W152092257 hasPrimaryLocation W1520922571 @default.
- W152092257 hasRelatedWork W1518246846 @default.
- W152092257 hasRelatedWork W1525928249 @default.
- W152092257 hasRelatedWork W1553771201 @default.
- W152092257 hasRelatedWork W1588335385 @default.
- W152092257 hasRelatedWork W1825706767 @default.
- W152092257 hasRelatedWork W2117879955 @default.
- W152092257 hasRelatedWork W2184414213 @default.
- W152092257 hasRelatedWork W2230679712 @default.
- W152092257 hasRelatedWork W2328622721 @default.
- W152092257 hasRelatedWork W2526467378 @default.
- W152092257 hasRelatedWork W2559233133 @default.
- W152092257 hasRelatedWork W2789769061 @default.
- W152092257 hasRelatedWork W2963898348 @default.
- W152092257 hasRelatedWork W3106186972 @default.
- W152092257 hasRelatedWork W3146541506 @default.
- W152092257 hasRelatedWork W3210018541 @default.
- W152092257 hasRelatedWork W71041467 @default.
- W152092257 hasRelatedWork W801211882 @default.
- W152092257 hasRelatedWork W82362649 @default.
- W152092257 hasRelatedWork W2082338500 @default.
- W152092257 isParatext "false" @default.
- W152092257 isRetracted "false" @default.
- W152092257 magId "152092257" @default.
- W152092257 workType "article" @default.