Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085383457> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2085383457 endingPage "210" @default.
- W2085383457 startingPage "181" @default.
- W2085383457 abstract "Abstract This paper defines a new denotational semantics for the language of Communicating Sequential Processes (CSP). The semantics lies between the existing traces and failures models of CSP, providing a treatment of non-determinism in terms of singleton failures . Although the semantics does not represent a congruence upon the full language, it is adequate for sequential tests of non-deterministic processes. This semantics corresponds exactly to a commonly used notion of data refinement in Z and Object-Z: an abstract data type is refined when the corresponding process is refined in terms of singleton failures. The semantics is used to explore the relationship between data refinement and process refinement, and to derive a rule for data refinement that is both sound and complete." @default.
- W2085383457 created "2016-06-24" @default.
- W2085383457 creator A5021423154 @default.
- W2085383457 creator A5030187840 @default.
- W2085383457 date "2006-06-01" @default.
- W2085383457 modified "2023-09-26" @default.
- W2085383457 title "A singleton failures semantics for Communicating Sequential Processes" @default.
- W2085383457 cites W2077548182 @default.
- W2085383457 cites W2500079794 @default.
- W2085383457 cites W4254136620 @default.
- W2085383457 doi "https://doi.org/10.1007/s00165-005-0081-x" @default.
- W2085383457 hasPublicationYear "2006" @default.
- W2085383457 type Work @default.
- W2085383457 sameAs 2085383457 @default.
- W2085383457 citedByCount "33" @default.
- W2085383457 countsByYear W20853834572012 @default.
- W2085383457 countsByYear W20853834572013 @default.
- W2085383457 countsByYear W20853834572014 @default.
- W2085383457 countsByYear W20853834572015 @default.
- W2085383457 countsByYear W20853834572016 @default.
- W2085383457 countsByYear W20853834572018 @default.
- W2085383457 crossrefType "journal-article" @default.
- W2085383457 hasAuthorship W2085383457A5021423154 @default.
- W2085383457 hasAuthorship W2085383457A5030187840 @default.
- W2085383457 hasBestOaLocation W20853834571 @default.
- W2085383457 hasConcept C117354338 @default.
- W2085383457 hasConcept C155214134 @default.
- W2085383457 hasConcept C156325763 @default.
- W2085383457 hasConcept C184337299 @default.
- W2085383457 hasConcept C199360897 @default.
- W2085383457 hasConcept C207648694 @default.
- W2085383457 hasConcept C24858836 @default.
- W2085383457 hasConcept C2779234561 @default.
- W2085383457 hasConcept C41008148 @default.
- W2085383457 hasConcept C54355233 @default.
- W2085383457 hasConcept C80444323 @default.
- W2085383457 hasConcept C86803240 @default.
- W2085383457 hasConcept C89497691 @default.
- W2085383457 hasConceptScore W2085383457C117354338 @default.
- W2085383457 hasConceptScore W2085383457C155214134 @default.
- W2085383457 hasConceptScore W2085383457C156325763 @default.
- W2085383457 hasConceptScore W2085383457C184337299 @default.
- W2085383457 hasConceptScore W2085383457C199360897 @default.
- W2085383457 hasConceptScore W2085383457C207648694 @default.
- W2085383457 hasConceptScore W2085383457C24858836 @default.
- W2085383457 hasConceptScore W2085383457C2779234561 @default.
- W2085383457 hasConceptScore W2085383457C41008148 @default.
- W2085383457 hasConceptScore W2085383457C54355233 @default.
- W2085383457 hasConceptScore W2085383457C80444323 @default.
- W2085383457 hasConceptScore W2085383457C86803240 @default.
- W2085383457 hasConceptScore W2085383457C89497691 @default.
- W2085383457 hasIssue "2" @default.
- W2085383457 hasLocation W20853834571 @default.
- W2085383457 hasOpenAccess W2085383457 @default.
- W2085383457 hasPrimaryLocation W20853834571 @default.
- W2085383457 hasRelatedWork W1855927527 @default.
- W2085383457 hasRelatedWork W1967566194 @default.
- W2085383457 hasRelatedWork W2017152877 @default.
- W2085383457 hasRelatedWork W2035082615 @default.
- W2085383457 hasRelatedWork W2149952006 @default.
- W2085383457 hasRelatedWork W2623394745 @default.
- W2085383457 hasRelatedWork W3139603584 @default.
- W2085383457 hasRelatedWork W75631880 @default.
- W2085383457 hasRelatedWork W783270985 @default.
- W2085383457 hasRelatedWork W1958334269 @default.
- W2085383457 hasVolume "18" @default.
- W2085383457 isParatext "false" @default.
- W2085383457 isRetracted "false" @default.
- W2085383457 magId "2085383457" @default.
- W2085383457 workType "article" @default.