1. Actors: A Model of Concurrent Computation in Distributed Systems;Agha,1986
2. ABS: a core language for abstract behavioral specification;Johnsen,2010
3. SYCO: a systematic testing tool for concurrent objects;Albert,2016
4. Sdn-actors: modeling and verification of SDN programs;Albert,2018
5. Constrained dynamic partial order reduction;Albert,2018