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

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

ISSN: 1557-945X,  1529-3785

Datum der Publikation: 2015

Ausgabe: 17

Nummer: 2

Art: Artikel

DOI: 10.1145/2824255 GOOGLE SCHOLAR
Datenquelle: Scopus