Role-based development of dynamically evolving esembles (Q2185881)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Role-based development of dynamically evolving esembles |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Role-based development of dynamically evolving esembles |
scientific article |
Statements
Role-based development of dynamically evolving esembles (English)
0 references
8 June 2020
0 references
ensemble
0 references
distributed system
0 references
component
0 references
role-based development
0 references
dynamic logic
0 references
interaction scenario
0 references
bisimulation equivalence
0 references
