Structured transition systems with parametric observations: observational congruences and minimal realizations (Q4344793)
From MaRDI portal
scientific article; zbMATH DE number 1036397
Language | Label | Description | Also known as |
---|---|---|---|
English | Structured transition systems with parametric observations: observational congruences and minimal realizations |
scientific article; zbMATH DE number 1036397 |
Statements
Structured transition systems with parametric observations: observational congruences and minimal realizations (English)
0 references
17 July 1997
0 references
structured transition systems
0 references
minimal realizations
0 references