May-happen-in-parallel analysis for actor-based concurrency

  1. Albert, E.
  2. Flores-Montoya, A.
  3. Genaim, S.
  4. Martin-Martin, E.
Revista:
ACM Transactions on Computational Logic

ISSN: 1557-945X 1529-3785

Año de publicación: 2015

Volumen: 17

Número: 2

Tipo: Artículo

DOI: 10.1145/2824255 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible