Clemens Grabmayer Jan Willem Klop Bas Luttik Some Remarks on Definability of Process Graphs. 16-36 2006 conf/concur/2006 CONCUR http://dx.doi.org/10.1007/11817949_2 db/conf/concur/concur2006.html#GrabmayerKL06