A formal, resource consumption-preserving translation of actors to Haskell
- Albert, E.
- Bezirgiannis, N.
- de Boer, F.
- Martin-Martin, E.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319631387
Ano de publicación: 2017
Volume: 10184 LNCS
Páxinas: 21-37
Tipo: Achega congreso