CCS with priority guards
From MaRDI portal
Publication:2474050
Recommendations
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)