1. The problem with threads;Lee;Computer,2006
2. F.Cicirelli, A.Furfaro, L.Nigro, F.Pupo, Modelling Java concurrency: An approach and a UPPAAL library, in Proc. of the International Workshop on Cyber-Physical Systems (IWCPS13), pp. 1373-1380 (2013).
3. Actors: a model of concurrent computation in distributed systems;Agha,1986
4. Actors;Karmani,2011
5. Qualitative and quantitative model checking of distributed probabilistic timed actors;Nigro;Simul. Model. Pract. Theo.,2018