bisimulation (Q866364)
Jump to navigation
Jump to search
Relation between transition systems in computer science
- bisimilar
- bisimilarity
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | bisimulation |
Relation between transition systems in computer science |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(8 entries)
- cswiki Bisimulace
- dewiki Bisimulation
- enwiki Bisimulation
- fawiki شبیهسازی دوتایی
- frwiki Bisimulation
- itwiki Bisimulazione
- jawiki 双模倣性
- ptwiki Bissimulação