Unfolding and Finite Prefix for Nets with Read Arcs.

Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev

Browse the full CONCUR paper archive.