No label defined (Q3795195)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1988
0 references
networks of communicating processes
0 references
dataflow networks
0 references
indeterminate behavior
0 references
monotone networks
0 references
indeterminate branching
0 references
fair merge
0 references
reasoning about concurrent systems
0 references
monotone port automata
0 references
