Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
| Autor: | Din, Crystal Chang1 Crystal.Din@uib.no, Hähnle, Reiner2 haehnle@cs.tu-darmstadt.de, Henrio, Ludovic3 ludovic.henrio@cnrs.fr, Johnsen, Einar Broch4 einarj@ifi.uio.no, Pun, Violet Ka I5 Violet.Ka.I.Pun@hvl.no, Tarifa, S. Lizeth Tapia4 sltarifa@ifi.uio.no |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-58. 58p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|