No label defined (Q3339295)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1984
0 references
behaviour of concurrent systems
0 references
Petri net
0 references
interleaved behaviour
0 references
partial order semantics
0 references
process semantics
0 references
firing sequences
0 references
concurrent programming languages
0 references
