Dynamic structural operational semantics (Q2329443)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7118982
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dynamic structural operational semantics |
scientific article; zbMATH DE number 7118982 |
Statements
Dynamic structural operational semantics (English)
0 references
17 October 2019
0 references
modular structural operational semantics
0 references
dynamic software updates
0 references
dynamic class upgrades
0 references
Proteus
0 references
Creol
0 references
concurrent objects
0 references
0.7568416595458984
0 references
0.7220419645309448
0 references
0.7179872989654541
0 references
0.7142668962478638
0 references
0.7109727263450623
0 references
