The following pages link to Priority in process algebra. (Q2760249):
Displaying 29 items.
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- On the axiomatizability of priority. II (Q549169) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Priorities in process algebras (Q802881) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- On the axiomatisability of priority. III: Priority strikes again (Q2193294) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- CCS with priority guards (Q2474050) (← links)
- Revisiting interactive Markov chains (Q2842864) (← links)
- Encoding catalytic P systems in {\(\pi\)}\@ (Q2864204) (← links)
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems (Q2864370) (← links)
- Efficient stochastic simulation of biological systems with multiple variable volumes (Q2870307) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- (Q4525242) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- (Q5856402) (← links)
- A process algebra with distributed priorities (Q6104364) (← links)
- Compositional verification of priority systems using sharp bisimulation (Q6564171) (← links)
