CCS with priority guards

DOI10.1016/J.JLAP.2007.06.005MaRDI QIDQ2474050zbMATH OpenOpenAlexWikidataFDO

Authors Iain Phillips

Publication date 5 March 2008

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2007.06.005

zbMATH Keywords

expressivenesspriorityCCS\(\pi \)-calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1863171
• Priority as extremal probability
• An expressiveness study of priority in process calculi
• Priorities in process algebras
• On the Expressive Power of Global and Local Priority in Process Calculi

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2077123 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• scientific article; zbMATH DE number 1863171 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• A calculus of mobile processes. II
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete inference system for a class of regular behaviours
• CCS with priority choice
• Communicating sequential processes
• Decoding choice encodings
• Foundations of Software Science and Computation Structures
• Leader election in rings of ambient processes
• Mobile ambients
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Priorities in process algebras
• Priority in process algebra.
• Process algebra for synchronous communication

Cited in

(11)

• A General Theory of Barbs, Contexts, and Labels
• On the expressibility of priority
• A denotational semantics for Handel-C
• scientific article; zbMATH DE number 1863171 (Why is no real title available?)
• CCS with priority choice
• Concurrency cannot be observed, asynchronously
• Replacement freeness: a criterion for separating process calculi
• Expressing priorities and external probabilities in process algebra via mixed open/closed systems
• On the Expressive Power of Global and Local Priority in Process Calculi
• An expressiveness study of priority in process calculi
• On the Expressive Power of Restriction and Priorities in CCS with Replication

This page was built for publication: CCS with priority guards

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