Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072325835> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2072325835 endingPage "65" @default.
- W2072325835 startingPage "31" @default.
- W2072325835 abstract "Compensating CSP (cCSP) models long-running transactions. It can be used to specify service orchestrations written in programming languages like WS-BPEL. However, the original cCSP does not allow to model internal (non-deterministic) choice, synchronized parallel composition, hiding or recursion. In this paper, we introduce these operators and define for the extended language a failure-divergence (FD) semantics to allow reasoning about non-determinism, deadlock and livelock. Furthermore, we develop a refinement calculus that allows us to compare the level of non-determinism between long running transactions, and transform specifications for design and analysis." @default.
- W2072325835 created "2016-06-24" @default.
- W2072325835 creator A5024920190 @default.
- W2072325835 creator A5046184004 @default.
- W2072325835 creator A5054484090 @default.
- W2072325835 date "2012-10-01" @default.
- W2072325835 modified "2023-09-27" @default.
- W2072325835 title "Failure-divergence semantics and refinement of long running transactions" @default.
- W2072325835 cites W1996431954 @default.
- W2072325835 cites W2030221027 @default.
- W2072325835 cites W2063163522 @default.
- W2072325835 cites W2109375135 @default.
- W2072325835 cites W2126025425 @default.
- W2072325835 cites W2161497018 @default.
- W2072325835 doi "https://doi.org/10.1016/j.tcs.2012.04.040" @default.
- W2072325835 hasPublicationYear "2012" @default.
- W2072325835 type Work @default.
- W2072325835 sameAs 2072325835 @default.
- W2072325835 citedByCount "1" @default.
- W2072325835 countsByYear W20723258352014 @default.
- W2072325835 crossrefType "journal-article" @default.
- W2072325835 hasAuthorship W2072325835A5024920190 @default.
- W2072325835 hasAuthorship W2072325835A5046184004 @default.
- W2072325835 hasAuthorship W2072325835A5054484090 @default.
- W2072325835 hasConcept C121332964 @default.
- W2072325835 hasConcept C138885662 @default.
- W2072325835 hasConcept C159023740 @default.
- W2072325835 hasConcept C161771561 @default.
- W2072325835 hasConcept C168773036 @default.
- W2072325835 hasConcept C184337299 @default.
- W2072325835 hasConcept C192183473 @default.
- W2072325835 hasConcept C193702766 @default.
- W2072325835 hasConcept C199360897 @default.
- W2072325835 hasConcept C207390915 @default.
- W2072325835 hasConcept C41008148 @default.
- W2072325835 hasConcept C41895202 @default.
- W2072325835 hasConcept C62520636 @default.
- W2072325835 hasConcept C80444323 @default.
- W2072325835 hasConceptScore W2072325835C121332964 @default.
- W2072325835 hasConceptScore W2072325835C138885662 @default.
- W2072325835 hasConceptScore W2072325835C159023740 @default.
- W2072325835 hasConceptScore W2072325835C161771561 @default.
- W2072325835 hasConceptScore W2072325835C168773036 @default.
- W2072325835 hasConceptScore W2072325835C184337299 @default.
- W2072325835 hasConceptScore W2072325835C192183473 @default.
- W2072325835 hasConceptScore W2072325835C193702766 @default.
- W2072325835 hasConceptScore W2072325835C199360897 @default.
- W2072325835 hasConceptScore W2072325835C207390915 @default.
- W2072325835 hasConceptScore W2072325835C41008148 @default.
- W2072325835 hasConceptScore W2072325835C41895202 @default.
- W2072325835 hasConceptScore W2072325835C62520636 @default.
- W2072325835 hasConceptScore W2072325835C80444323 @default.
- W2072325835 hasLocation W20723258351 @default.
- W2072325835 hasOpenAccess W2072325835 @default.
- W2072325835 hasPrimaryLocation W20723258351 @default.
- W2072325835 hasRelatedWork W1560330117 @default.
- W2072325835 hasRelatedWork W1646493594 @default.
- W2072325835 hasRelatedWork W1974644852 @default.
- W2072325835 hasRelatedWork W2056977125 @default.
- W2072325835 hasRelatedWork W2072325835 @default.
- W2072325835 hasRelatedWork W2097828479 @default.
- W2072325835 hasRelatedWork W2124931280 @default.
- W2072325835 hasRelatedWork W3004745453 @default.
- W2072325835 hasRelatedWork W4287870994 @default.
- W2072325835 hasRelatedWork W1894736207 @default.
- W2072325835 hasVolume "455" @default.
- W2072325835 isParatext "false" @default.
- W2072325835 isRetracted "false" @default.
- W2072325835 magId "2072325835" @default.
- W2072325835 workType "article" @default.