Analysis of synchronisation patterns in stateful active objects

@inproceedings{Henrio2017AnalysisOS,
  title={Analysis of synchronisation patterns in stateful active objects},
  author={Ludovic Henrio and Cosimo Laneve and Vincenzo Mastandrea},
  year={2017}
}
This paper presents a static analysis technique based on effect and behavioural types for deriving synchronisation patterns of stateful active objects and verifying their safety – e.g. absence of deadlocks. This is challenging because active objects use futures to refer to results of pending asynchronous invocations and because these futures can be stored… CONTINUE READING