A framework for deadlock detection in core ABS.

Elena Giachino Cosimo Laneve Michael Lienhardt

Published in: Softw. Syst. Model. (2016)

Keyphrases

databases
data analysis
data mining
case study
data structure
object oriented