No label defined (Q4028643)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
28 March 1993
0 references
partially ordered (multi)sets
0 references
true concurrency semantics
0 references
concurrent systems
0 references
LOTOS
0 references
operational semantics
0 references
strong bisimulation equivalence
0 references
