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

DOI10.1007/978-3-540-74407-8_17zbMATH Open1151.68557OpenAlexW1499291621MaRDI QIDQ3525641FDOQ3525641

Authors: Cristian Versari, Nadia Busi, Roberto Gorrieri 

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

Recommendations

• An expressiveness study of priority in process calculi
• CCS with priority guards
• scientific article; zbMATH DE number 1863171
• Priorities in process algebras
• Priority in process algebra.

Mathematics Subject Classification ID

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

Cited In (7)

• On the expressibility of priority
• The expressive power of monotonic parallel composition
• CCS with priority guards
• An expressiveness study of priority in process calculi
• On the computational power of BlenX
• On the Expressive Power of Restriction and Priorities in CCS with Replication
• The expressive power of CHR with priorities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525641)