Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539730057> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1539730057 endingPage "34" @default.
- W1539730057 startingPage "17" @default.
- W1539730057 abstract "Transactional events are a recent concurrency abstraction that combines first-class synchronous message-passing events with all-or-nothing transactions. While prior work gave a semantics and an implementation for transactional events, it provided no guarantees about which of the many non-deterministic executions might be exhibited by a program. For concurrent systems, like transactional events, it is natural to expect certain fairness conditions to hold on executions. Intuitively, fairness guarantees that any system component that could (sufficiently often) make progress does, in fact, make progress. In this work, we investigate fairness for transactional events. We give a rigorous definition of fair program executions in transactional events, describe a refined operational semantics that guarantees fair executions, and discuss restrictions and assumptions necessary for the correctness of an implementation based on the refined semantics." @default.
- W1539730057 created "2016-06-24" @default.
- W1539730057 creator A5014397623 @default.
- W1539730057 creator A5029478793 @default.
- W1539730057 date "2012-01-01" @default.
- W1539730057 modified "2023-10-18" @default.
- W1539730057 title "Fairness for Transactional Events" @default.
- W1539730057 cites W1495087637 @default.
- W1539730057 cites W1988800505 @default.
- W1539730057 cites W2024405571 @default.
- W1539730057 cites W2079457432 @default.
- W1539730057 cites W2105055683 @default.
- W1539730057 cites W2122621236 @default.
- W1539730057 cites W2129990308 @default.
- W1539730057 cites W2769656678 @default.
- W1539730057 cites W2913965635 @default.
- W1539730057 cites W4252906490 @default.
- W1539730057 doi "https://doi.org/10.1007/978-3-642-34407-7_2" @default.
- W1539730057 hasPublicationYear "2012" @default.
- W1539730057 type Work @default.
- W1539730057 sameAs 1539730057 @default.
- W1539730057 citedByCount "1" @default.
- W1539730057 countsByYear W15397300572019 @default.
- W1539730057 crossrefType "book-chapter" @default.
- W1539730057 hasAuthorship W1539730057A5014397623 @default.
- W1539730057 hasAuthorship W1539730057A5029478793 @default.
- W1539730057 hasBestOaLocation W15397300572 @default.
- W1539730057 hasConcept C111472728 @default.
- W1539730057 hasConcept C124304363 @default.
- W1539730057 hasConcept C134277064 @default.
- W1539730057 hasConcept C138885662 @default.
- W1539730057 hasConcept C154945302 @default.
- W1539730057 hasConcept C15744967 @default.
- W1539730057 hasConcept C167149655 @default.
- W1539730057 hasConcept C184337299 @default.
- W1539730057 hasConcept C193702766 @default.
- W1539730057 hasConcept C199360897 @default.
- W1539730057 hasConcept C2777212361 @default.
- W1539730057 hasConcept C41008148 @default.
- W1539730057 hasConcept C55439883 @default.
- W1539730057 hasConcept C68489960 @default.
- W1539730057 hasConcept C75949130 @default.
- W1539730057 hasConcept C77805123 @default.
- W1539730057 hasConcept C80444323 @default.
- W1539730057 hasConceptScore W1539730057C111472728 @default.
- W1539730057 hasConceptScore W1539730057C124304363 @default.
- W1539730057 hasConceptScore W1539730057C134277064 @default.
- W1539730057 hasConceptScore W1539730057C138885662 @default.
- W1539730057 hasConceptScore W1539730057C154945302 @default.
- W1539730057 hasConceptScore W1539730057C15744967 @default.
- W1539730057 hasConceptScore W1539730057C167149655 @default.
- W1539730057 hasConceptScore W1539730057C184337299 @default.
- W1539730057 hasConceptScore W1539730057C193702766 @default.
- W1539730057 hasConceptScore W1539730057C199360897 @default.
- W1539730057 hasConceptScore W1539730057C2777212361 @default.
- W1539730057 hasConceptScore W1539730057C41008148 @default.
- W1539730057 hasConceptScore W1539730057C55439883 @default.
- W1539730057 hasConceptScore W1539730057C68489960 @default.
- W1539730057 hasConceptScore W1539730057C75949130 @default.
- W1539730057 hasConceptScore W1539730057C77805123 @default.
- W1539730057 hasConceptScore W1539730057C80444323 @default.
- W1539730057 hasLocation W15397300571 @default.
- W1539730057 hasLocation W15397300572 @default.
- W1539730057 hasOpenAccess W1539730057 @default.
- W1539730057 hasPrimaryLocation W15397300571 @default.
- W1539730057 hasRelatedWork W1449437695 @default.
- W1539730057 hasRelatedWork W1539730057 @default.
- W1539730057 hasRelatedWork W1754753007 @default.
- W1539730057 hasRelatedWork W1993871034 @default.
- W1539730057 hasRelatedWork W2054047340 @default.
- W1539730057 hasRelatedWork W2177177585 @default.
- W1539730057 hasRelatedWork W2913965635 @default.
- W1539730057 hasRelatedWork W4245752324 @default.
- W1539730057 hasRelatedWork W4252906490 @default.
- W1539730057 hasRelatedWork W2338888888 @default.
- W1539730057 isParatext "false" @default.
- W1539730057 isRetracted "false" @default.
- W1539730057 magId "1539730057" @default.
- W1539730057 workType "book-chapter" @default.