Cristian Versari Nadia Busi Roberto Gorrieri On the Expressive Power of Global and Local Priority in Process Calculi. 241-255 2007 conf/concur/2007 CONCUR http://dx.doi.org/10.1007/978-3-540-74407-8_17 db/conf/concur/concur2007.html#VersariBG07