Role-based development of dynamically evolving esembles

DOI10.1007/978-3-030-23220-7_1zbMath1444.68118OpenAlexW2953911044MaRDI QIDQ2185881

Rolf Hennicker

Publication date: 8 June 2020

Full work available at URL: https://hal.inria.fr/hal-02364578

zbMATH Keywords

dynamic logicdistributed systemcomponentensemblebisimulation equivalenceinteraction scenariorole-based development

Mathematics Subject Classification ID

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

Uses Software

• DEECO
• Helena

Cites Work

• Unnamed Item
• On Global Types and Multi-Party Session
• Model-Checking Helena Ensembles with Spin
• Multiparty asynchronous session types
• The fork calculus
• Foundations for Ensemble Modeling – The Helena Approach

This page was built for publication: Role-based development of dynamically evolving esembles