A framework for deadlock detection in core ABS.

Elena Giachino Cosimo Laneve Michael Lienhardt

Published in: CoRR (2015)

Keyphrases

metadata
distributed database systems
case study
petri net