Calculating Compilers for Concurrency

Patrick Bahr, Graham Hutton

Programming Logic and Semantics

University of Nottingham

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

1 resultater
- Titel
- Startdato(stigende)

Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software