A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

  1. Albert, E.
  2. Bezirgiannis, N.
  3. De Boer, F.
  4. Martin-Martin, E.
Journal:
Fundamenta Informaticae

ISSN: 0169-2968

Year of publication: 2020

Volume: 177

Issue: 3-4

Pages: 203-234

Type: Article

DOI: 10.3233/FI-2020-1988 GOOGLE SCHOLAR

Sustainable development goals