No label defined (Q4738221)
From MaRDI portal
scientific article; zbMATH DE number 2087426
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2087426 |
Statements
11 August 2004
0 references
Probabilistic relations
0 references
bisimulation
0 references
demonic product
0 references
concurrency
0 references