Data · dataset · 2026
multiConcur
Listed in ZivaHub and Deakin Research Online and DMU Figshare — shown once because both records carry DOI 10.6084/m9.figshare.34033473.v1
<p dir="ltr">Artifacts for multiConcurrency paper</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.34033473.v1 ↗
DOI / persistent id · from zivahub uct ac za
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from zivahub uct ac za
Topics
- From keywords
- Computer Science & AI · Computer Science & AI · Computer Science & AI · Concurrency theory · Concurrency theory · Concurrency theory · Earth & Environmental Science · Earth & Environmental Science · Earth & Environmental Science · Formal methods for software · Formal methods for software · Formal methods for software
Provenance · 3 source records, 16 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ZivaHub | oai:figshare.com:article/34033473 | 4 d ago | JSON v1 |
| Deakin Research Online | oai:figshare.com:article/34033473 | 4 d ago | JSON v1 |
| DMU Figshare | oai:figshare.com:article/34033473 | 4 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:field:461203 | mapping · zivahub uct ac za | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461203 | mapping · dro deakin edu au | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461203 | mapping · figshare dmu ac uk | vocabulary-mapper@1.0.0 | keywords['Formal methods for software'] |
| concepts[field].anzsrc:field:461304 | mapping · dro deakin edu au | vocabulary-mapper@1.0.0 | keywords['concurrency theory'] |
| concepts[field].anzsrc:field:461304 | mapping · figshare dmu ac uk | vocabulary-mapper@1.0.0 | keywords['concurrency theory'] |
| concepts[field].anzsrc:field:461304 | mapping · zivahub uct ac za | vocabulary-mapper@1.0.0 | keywords['concurrency theory'] |
| concepts[field].local:field:computer-science-ai | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| description | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/description |
| license_text | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| publication_date | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| title | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/title |