2022-11-092022-11-09https://digital.cic.gba.gob.ar/handle/11746/11698λHive: Formal Semantics of an Edge Computing Model based on JavaScriptArtículo