Priority in process algebra.
From MaRDI portal
A review of the results on an extension of the traditional process algebras with priorities is given. The approaches to static and dynamic priority in process algebras are classified. Some applications are discussed.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].
Recommendations
Cited in
(36)- A process algebra with distributed priorities
- Algebraic theory of probabilistic processes.
- Quantum process algebra with priorities
- Priority as extremal probability
- Branching time and orthogonal bisimulation equivalence
- Ensuring liveness properties of distributed systems: open problems
- On the axiomatisability of priority. III: Priority strikes again
- Replacement freeness: a criterion for separating process calculi
- Stochastic biological modelling in the presence of multiple compartments
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- Specification, testing and implementation relations for symbolic-probabilistic systems
- Priority and abstraction in process algebra
- CCS with priority guards
- Revisiting interactive Markov chains
- Encoding catalytic P systems in {\(\pi\)}\@
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems
- Efficient stochastic simulation of biological systems with multiple variable volumes
- Process algebra extended with price information
- Rigorous discretization of hybrid systems using process calculi
- On the Expressive Power of Global and Local Priority in Process Calculi
- Prioritized slotted-Circus
- An expressiveness study of priority in process calculi
- Foundational aspects of multiscale modeling of biological systems with process algebras
- scientific article; zbMATH DE number 1553160 (Why is no real title available?)
- scientific article; zbMATH DE number 860041 (Why is no real title available?)
- scientific article; zbMATH DE number 915855 (Why is no real title available?)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview
- On Observing Dynamic Prioritised Actions in SOC
- On the axiomatizability of priority. II
- Axiomatizing maximal progress and discrete time
- Send to me first: Priority in synchronous message-passing
- A process algebra with distributed priorities
- QoS negotiation in service composition
- Compositional verification of priority systems using sharp bisimulation
- Priorities in process algebras
- Preferential choice and coordination conditions
This page was built for publication: Priority in process algebra.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760249)
