Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029161738> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2029161738 abstract "We consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our contribution is a formal operational semantics of this language that satisfies a specification on execution traces designed in a companion paper." @default.
- W2029161738 created "2016-06-24" @default.
- W2029161738 creator A5026152059 @default.
- W2029161738 creator A5063373796 @default.
- W2029161738 creator A5090158840 @default.
- W2029161738 date "2013-12-01" @default.
- W2029161738 modified "2023-10-03" @default.
- W2029161738 title "Nested Atomic Sections with Thread Escape: An Operational Semantics" @default.
- W2029161738 cites W1542975293 @default.
- W2029161738 cites W1975815498 @default.
- W2029161738 cites W2029161738 @default.
- W2029161738 cites W2047791971 @default.
- W2029161738 cites W2089755106 @default.
- W2029161738 cites W2092911542 @default.
- W2029161738 cites W2105055683 @default.
- W2029161738 cites W2122139510 @default.
- W2029161738 cites W2129990308 @default.
- W2029161738 cites W2135430119 @default.
- W2029161738 cites W2138567239 @default.
- W2029161738 cites W2152988224 @default.
- W2029161738 cites W2171146288 @default.
- W2029161738 cites W2340530615 @default.
- W2029161738 cites W4244083566 @default.
- W2029161738 cites W45829939 @default.
- W2029161738 cites W6811313 @default.
- W2029161738 doi "https://doi.org/10.1109/pdcat.2013.12" @default.
- W2029161738 hasPublicationYear "2013" @default.
- W2029161738 type Work @default.
- W2029161738 sameAs 2029161738 @default.
- W2029161738 citedByCount "4" @default.
- W2029161738 countsByYear W20291617382013 @default.
- W2029161738 countsByYear W20291617382014 @default.
- W2029161738 countsByYear W20291617382015 @default.
- W2029161738 crossrefType "proceedings-article" @default.
- W2029161738 hasAuthorship W2029161738A5026152059 @default.
- W2029161738 hasAuthorship W2029161738A5063373796 @default.
- W2029161738 hasAuthorship W2029161738A5090158840 @default.
- W2029161738 hasConcept C138101251 @default.
- W2029161738 hasConcept C146499914 @default.
- W2029161738 hasConcept C156325763 @default.
- W2029161738 hasConcept C173608175 @default.
- W2029161738 hasConcept C184337299 @default.
- W2029161738 hasConcept C199360897 @default.
- W2029161738 hasConcept C41008148 @default.
- W2029161738 hasConceptScore W2029161738C138101251 @default.
- W2029161738 hasConceptScore W2029161738C146499914 @default.
- W2029161738 hasConceptScore W2029161738C156325763 @default.
- W2029161738 hasConceptScore W2029161738C173608175 @default.
- W2029161738 hasConceptScore W2029161738C184337299 @default.
- W2029161738 hasConceptScore W2029161738C199360897 @default.
- W2029161738 hasConceptScore W2029161738C41008148 @default.
- W2029161738 hasLocation W20291617381 @default.
- W2029161738 hasLocation W20291617382 @default.
- W2029161738 hasLocation W20291617383 @default.
- W2029161738 hasOpenAccess W2029161738 @default.
- W2029161738 hasPrimaryLocation W20291617381 @default.
- W2029161738 hasRelatedWork W2097810778 @default.
- W2029161738 hasRelatedWork W2106305471 @default.
- W2029161738 hasRelatedWork W2109918761 @default.
- W2029161738 hasRelatedWork W2124431509 @default.
- W2029161738 hasRelatedWork W2146445117 @default.
- W2029161738 hasRelatedWork W2362341649 @default.
- W2029161738 hasRelatedWork W2517585486 @default.
- W2029161738 hasRelatedWork W2975333801 @default.
- W2029161738 hasRelatedWork W3000438711 @default.
- W2029161738 hasRelatedWork W3183513857 @default.
- W2029161738 isParatext "false" @default.
- W2029161738 isRetracted "false" @default.
- W2029161738 magId "2029161738" @default.
- W2029161738 workType "article" @default.