The following pages link to (Q2760249):
Displayed 16 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)
- Preferential choice and coordination conditions (Q864506) (← links)
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← 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)
- (Q2842864) (← links)
- Encoding Catalytic P Systems in π@ (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)