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

DOI10.1007/978-3-540-74407-8_17MaRDI QIDQ3525641zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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.

Cited in

(7)

• On the computational power of BlenX
• CCS with priority guards
• 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
• The expressive power of CHR with priorities
• On the expressibility of priority

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)