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
Ano de publicación: 2020
Volume: 177
Número: 3-4
Páxinas: 203-234
Tipo: Artigo