SCEL
From MaRDI portal
swMATH20779MaRDI QIDQ32593FDOQ32593
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007%2F978-3-319-16310-9_1
Cited In (38)
- ScaFi
- PerformERL
- 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
- 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
- Protelis
- GAZEBO classic
- Compositional specification in rewriting logic
- A coordination language for databases
This page was built for software: SCEL
