SCEL
From MaRDI portal
Software:32593
swMATH20779MaRDI QIDQ32593FDOQ32593
Author name not available (Why is that?)
Cited In (15)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems
- A calculus for attribute-based memory updates
- From distributed coordination to field calculus and aggregate computing
- Programming and Verifying Component Ensembles
- A White Box Perspective on Behavioural Adaptation
- Programming Autonomic Systems with Multiple Constraint Stores
- On the Power of Attribute-Based Communication
- Quantitative Abstractions for Collective Adaptive Systems
- Compositional Specification in Rewriting Logic
- Title not available (Why is that?)
- Foundations for Ensemble Modeling – The Helena Approach
- Fluid approximation of broadcasting systems
- A language-based approach to modelling and analysis of Twitter interactions
- A semantic theory of the Internet of things
- A formal approach to the engineering of domain-specific distributed systems
This page was built for software: SCEL
