The following pages link to SCEL (Q32593):
Displayed 15 items.
- A language-based approach to modelling and analysis of Twitter interactions (Q511939) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- On the Power of Attribute-Based Communication (Q2827459) (← links)
- (Q2980974) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Programming and Verifying Component Ensembles (Q5170744) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Programming Autonomic Systems with Multiple Constraint Stores (Q5256375) (← links)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (Q5270685) (← links)
- Foundations for Ensemble Modeling – The Helena Approach (Q5403077) (← links)