Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405074798> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2405074798 endingPage "151" @default.
- W2405074798 startingPage "136" @default.
- W2405074798 abstract "As newly developed transactional memory technology has received significant attention as a way to dramatically simplify sharedmemory concurrent programming, user-level transactional concurrent programming models have become a very interesting topic in the programming community. However, the fact is that, in existing transactional concurrent programming models, user-level mechanisms have not been well developed. The dilemma is how to make a balance between the performance and correctness of a program. Explicit concurrency among cooperative transactions can undoubtedly decrease the rate of conflicts and improve the performance, but it is harmful to the correctness. In this paper, a transactional concurrent programming approach, based on Petri nets, is presented, which can easily specify concurrency among transactions and do not aggravate programmers remarkably in writing correct transactional concurrent programs. In this approach, a special Petri net system with transition markings is developed. Although such a Petri net system is not defined conventionally, it is shown that its behavior can be simulated through a conventional net, so existing analysis and verification approaches for usual Petri nets can be applied indirectly." @default.
- W2405074798 created "2016-06-24" @default.
- W2405074798 creator A5056136429 @default.
- W2405074798 creator A5071091495 @default.
- W2405074798 creator A5080577523 @default.
- W2405074798 creator A5086888106 @default.
- W2405074798 date "2011-01-01" @default.
- W2405074798 modified "2023-09-23" @default.
- W2405074798 title "Transitions as Transactions." @default.
- W2405074798 cites W1488686984 @default.
- W2405074798 cites W1546854094 @default.
- W2405074798 cites W1550017767 @default.
- W2405074798 cites W1554183872 @default.
- W2405074798 cites W1584457353 @default.
- W2405074798 cites W1857934442 @default.
- W2405074798 cites W1993179651 @default.
- W2405074798 cites W2007130930 @default.
- W2405074798 cites W2109065830 @default.
- W2405074798 cites W2134631561 @default.
- W2405074798 cites W2891255201 @default.
- W2405074798 cites W2911806870 @default.
- W2405074798 cites W77261111 @default.
- W2405074798 hasPublicationYear "2011" @default.
- W2405074798 type Work @default.
- W2405074798 sameAs 2405074798 @default.
- W2405074798 citedByCount "0" @default.
- W2405074798 crossrefType "journal-article" @default.
- W2405074798 hasAuthorship W2405074798A5056136429 @default.
- W2405074798 hasAuthorship W2405074798A5071091495 @default.
- W2405074798 hasAuthorship W2405074798A5080577523 @default.
- W2405074798 hasAuthorship W2405074798A5086888106 @default.
- W2405074798 hasConcept C120314980 @default.
- W2405074798 hasConcept C134277064 @default.
- W2405074798 hasConcept C150495011 @default.
- W2405074798 hasConcept C15744967 @default.
- W2405074798 hasConcept C167149655 @default.
- W2405074798 hasConcept C193702766 @default.
- W2405074798 hasConcept C199360897 @default.
- W2405074798 hasConcept C38677869 @default.
- W2405074798 hasConcept C41008148 @default.
- W2405074798 hasConcept C55439883 @default.
- W2405074798 hasConcept C68489960 @default.
- W2405074798 hasConcept C75949130 @default.
- W2405074798 hasConcept C77805123 @default.
- W2405074798 hasConcept C84511453 @default.
- W2405074798 hasConceptScore W2405074798C120314980 @default.
- W2405074798 hasConceptScore W2405074798C134277064 @default.
- W2405074798 hasConceptScore W2405074798C150495011 @default.
- W2405074798 hasConceptScore W2405074798C15744967 @default.
- W2405074798 hasConceptScore W2405074798C167149655 @default.
- W2405074798 hasConceptScore W2405074798C193702766 @default.
- W2405074798 hasConceptScore W2405074798C199360897 @default.
- W2405074798 hasConceptScore W2405074798C38677869 @default.
- W2405074798 hasConceptScore W2405074798C41008148 @default.
- W2405074798 hasConceptScore W2405074798C55439883 @default.
- W2405074798 hasConceptScore W2405074798C68489960 @default.
- W2405074798 hasConceptScore W2405074798C75949130 @default.
- W2405074798 hasConceptScore W2405074798C77805123 @default.
- W2405074798 hasConceptScore W2405074798C84511453 @default.
- W2405074798 hasLocation W24050747981 @default.
- W2405074798 hasOpenAccess W2405074798 @default.
- W2405074798 hasPrimaryLocation W24050747981 @default.
- W2405074798 hasRelatedWork W106799128 @default.
- W2405074798 hasRelatedWork W1523975487 @default.
- W2405074798 hasRelatedWork W2024601016 @default.
- W2405074798 hasRelatedWork W2036620406 @default.
- W2405074798 hasRelatedWork W2084318081 @default.
- W2405074798 hasRelatedWork W2108204150 @default.
- W2405074798 hasRelatedWork W2118134218 @default.
- W2405074798 hasRelatedWork W2129990308 @default.
- W2405074798 hasRelatedWork W2140168053 @default.
- W2405074798 hasRelatedWork W2160171587 @default.
- W2405074798 hasRelatedWork W2162257946 @default.
- W2405074798 hasRelatedWork W2188963467 @default.
- W2405074798 hasRelatedWork W2241823029 @default.
- W2405074798 hasRelatedWork W2278535776 @default.
- W2405074798 hasRelatedWork W2529342191 @default.
- W2405074798 hasRelatedWork W2761706077 @default.
- W2405074798 hasRelatedWork W2765458378 @default.
- W2405074798 hasRelatedWork W749536282 @default.
- W2405074798 hasRelatedWork W91420742 @default.
- W2405074798 hasRelatedWork W2338888888 @default.
- W2405074798 isParatext "false" @default.
- W2405074798 isRetracted "false" @default.
- W2405074798 magId "2405074798" @default.
- W2405074798 workType "article" @default.