On the Expressive Power of Restriction and Priorities in CCS with Replication.

Jess Aranda, Frank D. Valencia, Cristian Versari

Browse the full FOSSACS paper archive.