Efficient state assignment framework for asynchronous state graphs.

Chantal Ykman-Couvreur, Bill Lin

Browse the full ICCD paper archive.