Lopez, C.T., Marr, S., Boix, E.G. and Mössenböck, H. (2018) A Study of Concurrency Bugs and Advanced Development Support for Actor-Based Programs. Lecture Notes in Computer Science Programming with Actors, 155-185.
https://doi.org/10.1007/978-3-030-00302-9_6

has been cited by the following article:

• TITLE: The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model

  AUTHORS: Yupeng Xi, Jianrui Zhang, Furi Xiang

  KEYWORDS: Actor Model, Communication Deadlock, Program Analysis, Akka, Soot, Dependency Graph

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.12 No.10, October 22, 2019

  ABSTRACT: We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.