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

DOI10.1007/978-3-540-74407-8_17zbMath1151.68557OpenAlexW1499291621MaRDI QIDQ3525641

Roberto Gorrieri, Cristian Versari, Nadia Busi

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_17

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

The expressive power of CHR with priorities ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ On the Expressive Power of Restriction and Priorities in CCS with Replication ⋮ An expressiveness study of priority in process calculi ⋮ On the computational power of BlenX

This page was built for publication: On the Expressive Power of Global and Local Priority in Process Calculi