The following pages link to Adaptable processes (Q4899113):
Displaying 14 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Incremental model checking of delta-oriented software product lines (Q898621) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Chemistry-Inspired Adaptive Stream Processing (Q2789148) (← links)
- Adaptable Transition Systems (Q2848873) (← links)
- Modelling adaptive systems in ForSyDe (Q2864356) (← links)
- (Q5013869) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)