A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
- Albert, E.
- Bezirgiannis, N.
- De Boer, F.
- Martin-Martin, E.
ISSN: 0169-2968
Année de publication: 2020
Volumen: 177
Número: 3-4
Pages: 203-234
Type: Article