SCEL
From MaRDI portal
Software:32593
swMATH20779MaRDI QIDQ32593FDOQ32593
Author name not available (Why is that?)
Cited In (15)
- A calculus for attribute-based memory updates
- Quantitative abstractions for collective adaptive systems
- From distributed coordination to field calculus and aggregate computing
- On the Power of Attribute-Based Communication
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- A white box perspective on behavioural adaptation
- Programming and verifying component ensembles
- Programming autonomic systems with multiple constraint stores
- Fluid approximation of broadcasting systems
- A language-based approach to modelling and analysis of Twitter interactions
- A formal approach to the engineering of domain-specific distributed systems
- A semantic theory of the Internet of Things
- Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
- Compositional specification in rewriting logic
- A coordination language for databases
This page was built for software: SCEL
