Dynamic structural operational semantics (Q2329443)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dynamic structural operational semantics |
scientific article |
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