An expressiveness study of priority in process calculi

DOI10.1017/S0960129509990168MaRDI QIDQ3655761zbMATH OpenFDO

Authors Cristian Versari, Nadia Busi, Roberto Gorrieri

Publication date 12 January 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129509990168

Mathematics Subject Classification ID

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

Recommendations

• On the Expressive Power of Global and Local Priority in Process Calculi
• Priorities in process algebras
• Priority and abstraction in process algebra
• On the expressiveness and decidability of higher-order process calculi
• Priority in process algebra.
• The expressiveness of CSP with priority
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• A process algebra with distributed priorities
• A process algebra with distributed priorities
• Expressing priorities and external probabilities in process algebra via mixed open/closed systems

Cites work

• A calculus of mobile processes. I
• A calculus of mobile processes. II
• A randomized encoding of the \(\pi\)-calculus with mixed choice
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• CCS with priority choice
• CCS with priority guards
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• On the Expressive Power of Global and Local Priority in Process Calculi
• Priorities in process algebras
• Quantitative information in the tuple space coordination model
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• The theory of interactive generalized semi-Markov processes
• Tutorial on separation results in process calculi via leader election problems
• What is a ``good encoding of guarded choice?

Cited in

(8)

• Generating priority rewrite systems for OSOS process languages
• On the validity of encodings of the synchronous in the asynchronous -calculus
• Replacement freeness: a criterion for separating process calculi
• CCS with priority guards
• On the Expressive Power of Global and Local Priority in Process Calculi
• The expressive power of CHR with priorities
• scientific article; zbMATH DE number 1863171 (Why is no real title available?)
• Send to me first: Priority in synchronous message-passing

This page was built for publication: An expressiveness study of priority in process calculi

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