No label defined (Q4732449)
From MaRDI portal
scientific article; zbMATH DE number 4118343
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4118343 |
Statements
1989
0 references
static process constructs
0 references
modal process logic MPL
0 references
observational equivalence
0 references
precongruence
0 references
