SCEL
From MaRDI portal
Cited in
(38)- Klava
- MetaKlaim
- A semantic theory of the Internet of Things
- Moise+
- From distributed coordination to field calculus and aggregate computing
- Pirlo
- MultiVeStA
- PAGODA
- A calculus for attribute-based memory updates
- KLAIM
- Linda
- SCELlight
- A formal approach to the engineering of domain-specific distributed systems
- Fluid approximation of broadcasting systems
- SDEF
- ITACA
- SOFA 2.0
- Quantitative abstractions for collective adaptive systems
- On the Power of Attribute-Based Communication
- A coordination language for databases
- PALOMA
- CARMA
- PALOMA
- INFAMY
- GAZEBO classic
- ContextJ
- DEECO
- Helena
- Compositional specification in rewriting logic
- A language-based approach to modelling and analysis of Twitter interactions
- Programming and verifying component ensembles
- A white box perspective on behavioural adaptation
- Programming autonomic systems with multiple constraint stores
- Automatic moment-closure approximation of spatially distributed collective adaptive systems
- Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
- ScaFi
- Protelis
- PerformERL
This page was built for software: SCEL
