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.
Revue:
Fundamenta Informaticae

ISSN: 0169-2968

Année de publication: 2020

Volumen: 177

Número: 3-4

Pages: 203-234

Type: Article

DOI: 10.3233/FI-2020-1988 GOOGLE SCHOLAR

Objectifs de Développement Durable