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
Year of publication: 2017
Volume: 10184 LNCS
Pages: 21-37
Type: Conference paper