No label defined (Q4818727)
From MaRDI portal
scientific article; zbMATH DE number 2104617
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2104617 |
Statements
1 October 2004
0 references
Structural operational semantics
0 references
SOS
0 references
modularity
0 references
MSOS
0 references
natural semantics
0 references
