Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085929359> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2085929359 endingPage "45" @default.
- W2085929359 startingPage "35" @default.
- W2085929359 abstract "We extend Morgan's well-known derivation of the Failures-Divergences semantics of an action system endowed with a wp sequential semantics, by showing how various other CSP semantics can be extracted from an action system endowed with an appropriate sequential semantics. In doing so we expose the close but hitherto largely overlooked correspondence between the various CSP semantic models and their sequential correctness counterparts." @default.
- W2085929359 created "2016-06-24" @default.
- W2085929359 creator A5079250503 @default.
- W2085929359 date "2009-12-01" @default.
- W2085929359 modified "2023-10-18" @default.
- W2085929359 title "Of wlp and CSP" @default.
- W2085929359 cites W1511110335 @default.
- W2085929359 cites W1515198557 @default.
- W2085929359 cites W1571487936 @default.
- W2085929359 cites W1573453798 @default.
- W2085929359 cites W1578632748 @default.
- W2085929359 cites W1582292473 @default.
- W2085929359 cites W1990589200 @default.
- W2085929359 cites W2003009718 @default.
- W2085929359 cites W2004306968 @default.
- W2085929359 cites W2010988783 @default.
- W2085929359 cites W2030865387 @default.
- W2085929359 cites W2043279475 @default.
- W2085929359 cites W2077548182 @default.
- W2085929359 cites W2103953153 @default.
- W2085929359 cites W2117879955 @default.
- W2085929359 cites W2119176782 @default.
- W2085929359 cites W2129384397 @default.
- W2085929359 cites W2205337852 @default.
- W2085929359 cites W2267876640 @default.
- W2085929359 cites W2500079794 @default.
- W2085929359 cites W2591141241 @default.
- W2085929359 cites W3144368627 @default.
- W2085929359 cites W626707627 @default.
- W2085929359 cites W833850397 @default.
- W2085929359 cites W3142790043 @default.
- W2085929359 doi "https://doi.org/10.1016/j.entcs.2009.12.016" @default.
- W2085929359 hasPublicationYear "2009" @default.
- W2085929359 type Work @default.
- W2085929359 sameAs 2085929359 @default.
- W2085929359 citedByCount "3" @default.
- W2085929359 countsByYear W20859293592012 @default.
- W2085929359 crossrefType "journal-article" @default.
- W2085929359 hasAuthorship W2085929359A5079250503 @default.
- W2085929359 hasBestOaLocation W20859293591 @default.
- W2085929359 hasConcept C121332964 @default.
- W2085929359 hasConcept C150607116 @default.
- W2085929359 hasConcept C155214134 @default.
- W2085929359 hasConcept C156325763 @default.
- W2085929359 hasConcept C184337299 @default.
- W2085929359 hasConcept C199360897 @default.
- W2085929359 hasConcept C207648694 @default.
- W2085929359 hasConcept C2780791683 @default.
- W2085929359 hasConcept C41008148 @default.
- W2085929359 hasConcept C55439883 @default.
- W2085929359 hasConcept C62520636 @default.
- W2085929359 hasConcept C80444323 @default.
- W2085929359 hasConcept C89497691 @default.
- W2085929359 hasConceptScore W2085929359C121332964 @default.
- W2085929359 hasConceptScore W2085929359C150607116 @default.
- W2085929359 hasConceptScore W2085929359C155214134 @default.
- W2085929359 hasConceptScore W2085929359C156325763 @default.
- W2085929359 hasConceptScore W2085929359C184337299 @default.
- W2085929359 hasConceptScore W2085929359C199360897 @default.
- W2085929359 hasConceptScore W2085929359C207648694 @default.
- W2085929359 hasConceptScore W2085929359C2780791683 @default.
- W2085929359 hasConceptScore W2085929359C41008148 @default.
- W2085929359 hasConceptScore W2085929359C55439883 @default.
- W2085929359 hasConceptScore W2085929359C62520636 @default.
- W2085929359 hasConceptScore W2085929359C80444323 @default.
- W2085929359 hasConceptScore W2085929359C89497691 @default.
- W2085929359 hasLocation W20859293591 @default.
- W2085929359 hasOpenAccess W2085929359 @default.
- W2085929359 hasPrimaryLocation W20859293591 @default.
- W2085929359 hasRelatedWork W116227192 @default.
- W2085929359 hasRelatedWork W1508065823 @default.
- W2085929359 hasRelatedWork W1532118845 @default.
- W2085929359 hasRelatedWork W1589797855 @default.
- W2085929359 hasRelatedWork W1772914000 @default.
- W2085929359 hasRelatedWork W1989872709 @default.
- W2085929359 hasRelatedWork W2090181771 @default.
- W2085929359 hasRelatedWork W2103328616 @default.
- W2085929359 hasRelatedWork W2186390094 @default.
- W2085929359 hasRelatedWork W2542063192 @default.
- W2085929359 hasRelatedWork W2758278418 @default.
- W2085929359 hasRelatedWork W2767476389 @default.
- W2085929359 hasRelatedWork W2804506387 @default.
- W2085929359 hasRelatedWork W28743455 @default.
- W2085929359 hasRelatedWork W2897330771 @default.
- W2085929359 hasRelatedWork W3006390328 @default.
- W2085929359 hasRelatedWork W3018492106 @default.
- W2085929359 hasRelatedWork W52303349 @default.
- W2085929359 hasRelatedWork W2569750703 @default.
- W2085929359 hasRelatedWork W2582411919 @default.
- W2085929359 hasVolume "259" @default.
- W2085929359 isParatext "false" @default.
- W2085929359 isRetracted "false" @default.
- W2085929359 magId "2085929359" @default.
- W2085929359 workType "article" @default.