Matches in SemOpenAlex for { <https://semopenalex.org/work/W142659957> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W142659957 endingPage "277" @default.
- W142659957 startingPage "262" @default.
- W142659957 abstract "Compensating CSP (cCSP) extends CSP for specification and verification of long running transactions. The original cCSP is a modest extension to a subset of CSP that does not consider non-deterministic choice, synchronized composition, and recursion. There are a few further extensions. However, it remains a challenge to develop a fixed-point theory of process refinement in cCSP. This paper provides a complete solution to this problem and develops a theory of cCSP, corresponding to the theory of CSP, so that the verification techniques and their tools, such as FDR, can be extended for compensating processes." @default.
- W142659957 created "2016-06-24" @default.
- W142659957 creator A5024920190 @default.
- W142659957 creator A5054484090 @default.
- W142659957 creator A5064064496 @default.
- W142659957 date "2011-01-01" @default.
- W142659957 modified "2023-09-27" @default.
- W142659957 title "Failure-Divergence Refinement of Compensating Communicating Processes" @default.
- W142659957 cites W1493965924 @default.
- W142659957 cites W1555143792 @default.
- W142659957 cites W1587877137 @default.
- W142659957 cites W1608333380 @default.
- W142659957 cites W2030221027 @default.
- W142659957 cites W2109375135 @default.
- W142659957 cites W2148337378 @default.
- W142659957 cites W2167399349 @default.
- W142659957 cites W2167928477 @default.
- W142659957 cites W2172048144 @default.
- W142659957 doi "https://doi.org/10.1007/978-3-642-21437-0_21" @default.
- W142659957 hasPublicationYear "2011" @default.
- W142659957 type Work @default.
- W142659957 sameAs 142659957 @default.
- W142659957 citedByCount "4" @default.
- W142659957 countsByYear W1426599572012 @default.
- W142659957 countsByYear W1426599572013 @default.
- W142659957 countsByYear W1426599572014 @default.
- W142659957 crossrefType "book-chapter" @default.
- W142659957 hasAuthorship W142659957A5024920190 @default.
- W142659957 hasAuthorship W142659957A5054484090 @default.
- W142659957 hasAuthorship W142659957A5064064496 @default.
- W142659957 hasConcept C11413529 @default.
- W142659957 hasConcept C138885662 @default.
- W142659957 hasConcept C161771561 @default.
- W142659957 hasConcept C168773036 @default.
- W142659957 hasConcept C199360897 @default.
- W142659957 hasConcept C207390915 @default.
- W142659957 hasConcept C2778029271 @default.
- W142659957 hasConcept C33923547 @default.
- W142659957 hasConcept C41008148 @default.
- W142659957 hasConcept C41895202 @default.
- W142659957 hasConcept C80444323 @default.
- W142659957 hasConcept C98045186 @default.
- W142659957 hasConceptScore W142659957C11413529 @default.
- W142659957 hasConceptScore W142659957C138885662 @default.
- W142659957 hasConceptScore W142659957C161771561 @default.
- W142659957 hasConceptScore W142659957C168773036 @default.
- W142659957 hasConceptScore W142659957C199360897 @default.
- W142659957 hasConceptScore W142659957C207390915 @default.
- W142659957 hasConceptScore W142659957C2778029271 @default.
- W142659957 hasConceptScore W142659957C33923547 @default.
- W142659957 hasConceptScore W142659957C41008148 @default.
- W142659957 hasConceptScore W142659957C41895202 @default.
- W142659957 hasConceptScore W142659957C80444323 @default.
- W142659957 hasConceptScore W142659957C98045186 @default.
- W142659957 hasLocation W1426599571 @default.
- W142659957 hasOpenAccess W142659957 @default.
- W142659957 hasPrimaryLocation W1426599571 @default.
- W142659957 hasRelatedWork W142659957 @default.
- W142659957 hasRelatedWork W1522399524 @default.
- W142659957 hasRelatedWork W1524138186 @default.
- W142659957 hasRelatedWork W1527677548 @default.
- W142659957 hasRelatedWork W2144900224 @default.
- W142659957 hasRelatedWork W2583954723 @default.
- W142659957 hasRelatedWork W2963264630 @default.
- W142659957 hasRelatedWork W3119421530 @default.
- W142659957 hasRelatedWork W4309426766 @default.
- W142659957 hasRelatedWork W4287390700 @default.
- W142659957 isParatext "false" @default.
- W142659957 isRetracted "false" @default.
- W142659957 magId "142659957" @default.
- W142659957 workType "book-chapter" @default.