Academic Journal
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
| Τίτλος: | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages |
|---|---|
| Συγγραφείς: | Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia |
| Πηγή: | ACM Transactions on Programming Languages and Systems. 46(1):1-58 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3648439 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| ISSN: | 01640925 15584593 |
|---|---|
| DOI: | 10.1145/3648439 |