Extended transition systems for parametric bisimulation (Q4630292)
From MaRDI portal
scientific article; zbMATH DE number 7045143
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extended transition systems for parametric bisimulation |
scientific article; zbMATH DE number 7045143 |
Statements
Extended transition systems for parametric bisimulation (English)
0 references
29 March 2019
0 references
transition system
0 references
regular expression
0 references
operational semantic
0 references
parametric theory
0 references
regular language
0 references
