homepages/18/1303 journals/apal/BucciarelliEM12 journals/corr/abs-1209-2890 journals/tcs/Ehrhard12 conf/csl/Ehrhard12 journals/corr/abs-1303-7331 journals/iandc/DanosE11 conf/csl/Ehrhard11 conf/csl/BucciarelliCEM11 conf/lics/EhrhardPT11 journals/corr/abs-1007-0120 journals/entcs/BucciarelliEM10 journals/iandc/EhrhardL10 conf/csl/CarraroES10 conf/lics/Ehrhard10 conf/mfcs/CarraroES10 journals/corr/abs-1001-3219 journals/corr/abs-1006-3140 conf/lfcs/BucciarelliEM09 journals/corr/abs-1003-5518 journals/tcs/EhrhardR08 conf/ifipTCS/Ehrhard08 conf/concur/EhrhardL07 conf/csl/BucciarelliEM07 journals/tcs/EhrhardR06 conf/cie/EhrhardR06 journals/entcs/EhrhardR05 journals/mscs/Ehrhard05 journals/jsyml/Ehrhard04 journals/tcs/EhrhardR03 journals/mscs/Ehrhard02 journals/apal/BucciarelliE01 journals/apal/BucciarelliE00 journals/entcs/Ehrhard00 journals/tcs/Ehrhard00 journals/iandc/Ehrhard99 conf/tlca/BarreiroE99 journals/mscs/EhrhardLR98 conf/csl/BaillotDER97 conf/lics/BaillotDE97 journals/apal/Ehrhard96 journals/iandc/BucciarelliE94 conf/lics/ColsonE94 journals/mscs/Ehrhard93 journals/tcs/BucciarelliE93 conf/ctcs/EhrhardM91 conf/icalp/BucciarelliE91 conf/lics/BucciarelliE91 conf/ctcs/Ehrhard89 conf/lics/Ehrhard88 conf/ctcs/CoquandE87