On the Expressive Power of Global and Local Priority in Process Calculi.

Cristian Versari, Nadia Busi, Roberto Gorrieri

Browse the full CONCUR paper archive.