Branching bisimulation semantics for quantum processes (Q6551718)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Branching bisimulation semantics for quantum processes |
scientific article; zbMATH DE number 7861417
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Branching bisimulation semantics for quantum processes |
scientific article; zbMATH DE number 7861417 |
Statements
Branching bisimulation semantics for quantum processes (English)
0 references
7 June 2024
0 references
formal semantics
0 references
quantum process algebra
0 references
branching bisimulation
0 references
verification
0 references
