Foundations for Ensemble Modeling – The Helena Approach

DOI10.1007/978-3-642-54624-2_18zbMath1320.68118OpenAlexW191184567MaRDI QIDQ5403077

Annabelle Klarl, Rolf Hennicker

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Model-Checking Helena Ensembles with Spin ⋮ Role-based development of dynamically evolving esembles ⋮ From distributed coordination to field calculus and aggregate computing ⋮ Helena ⋮ Ode to the PST

Uses Software

• SOFA 2.0
• SCEL
• DEECO

Cites Work

• Unnamed Item
• Unnamed Item
• Model-Checking Helena Ensembles with Spin
• Modal Interface Theories for Communication-Safe Component Assemblies
• Institutions: abstract model theory for specification and programming
• On the representation of roles in object-oriented and conceptual modelling

This page was built for publication: Foundations for Ensemble Modeling – The Helena Approach