Behavioural equivalence for infinite systems — Partially decidable! (Q4633177)
From MaRDI portal
scientific article; zbMATH DE number 7049861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Behavioural equivalence for infinite systems — Partially decidable! |
scientific article; zbMATH DE number 7049861 |
Statements
Behavioural equivalence for infinite systems — Partially decidable! (English)
0 references
2 May 2019
0 references
process calculi
0 references
Petri nets
0 references
behavioural equivalence
0 references
partial-order methods
0 references
decidability
0 references
