Cited in
(38)- A coordination language for databases
- Compositional specification in rewriting logic
- 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
- Klava
- MetaKlaim
- Moise+
- MultiVeStA
- Pirlo
- PAGODA
- KLAIM
- Linda
- SCELlight
- SDEF
- ITACA
- SOFA 2.0
- CARMA
- PALOMA
- PALOMA
- INFAMY
- Helena
- ContextJ
- DEECO
- GAZEBO classic
- A white box perspective on behavioural adaptation
- Programming and verifying component ensembles
- Programming autonomic systems with multiple constraint stores
- ScaFi
- PerformERL
- 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
- Protelis
- Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
This page was built for software: SCEL
