Priority in process algebra.
From MaRDI portal
Recommendations
Cited in
(33)- scientific article; zbMATH DE number 915855 (Why is no real title available?)
- Stochastic biological modelling in the presence of multiple compartments
- Efficient stochastic simulation of biological systems with multiple variable volumes
- Compositional verification of priority systems using sharp bisimulation
- Foundational aspects of multiscale modeling of biological systems with process algebras
- On the axiomatizability of priority. II
- A process algebra with distributed priorities
- Preferential choice and coordination conditions
- scientific article; zbMATH DE number 1553160 (Why is no real title available?)
- On Observing Dynamic Prioritised Actions in SOC
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- Rigorous discretization of hybrid systems using process calculi
- A process algebra with distributed priorities
- Axiomatizing maximal progress and discrete time
- QoS negotiation in service composition
- Replacement freeness: a criterion for separating process calculi
- CCS with priority guards
- Priority and abstraction in process algebra
- 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
- Encoding catalytic P systems in {\(\pi\)}\@
- Process algebra extended with price information
- Send to me first: Priority in synchronous message-passing
- On the axiomatisability of priority. III: Priority strikes again
- Branching time and orthogonal bisimulation equivalence
- Quantum process algebra with priorities
- Prioritized slotted-Circus
- Revisiting interactive Markov chains
- Stochastic and Real Time in Process Algebra: A Conceptual Overview
- Ensuring liveness properties of distributed systems: open problems
- Algebraic theory of probabilistic processes.
- Specification, testing and implementation relations for symbolic-probabilistic systems
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)
