Modeling and Verification of Probabilistic Actor Systems Using pRebeca.

Mahsa Varshosaz, Ramtin Khosravi

Browse the full ICFEM paper archive.