No label defined (Q4427917)
From MaRDI portal
scientific article; zbMATH DE number 1979561
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1979561 |
Statements
14 September 2003
0 references
Reactive systems
0 references
Input/Output compatibility
0 references
Observational equivalence
0 references
Synchronous product
0 references
Trace theory
0 references
Conformation
0 references
Petri nets
0 references
