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