Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets (Q4633156)
From MaRDI portal
scientific article; zbMATH DE number 7049841
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets |
scientific article; zbMATH DE number 7049841 |
Statements
Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets (English)
0 references
2 May 2019
0 references
blocking relation
0 references
colored FIFO nets
0 references
compositionality
0 references
equal conflict
0 references
freeing relation
0 references
liveness
0 references
state machine
0 references
synchronization
0 references
synchronization medium
0 references
