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

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

ISSN: 1557-945X,  1529-3785

Argitalpen urtea: 2015

Alea: 17

Zenbakia: 2

Mota: Artikulua

DOI: 10.1145/2824255 GOOGLE SCHOLAR
Datuen iturria: Scopus